matematico-tao - 数学化代码与架构分析运用复杂度、图论、并发、形式逻辑和概率等数学理论分析代码与架构。标签更新于: 2026-10-19数学代码分析算法形式化方法并发架构能力典型输入典型输出该技能可以做什么严格分析代码构建依赖图评估算法复杂度检查并发属性验证形式正确性评估架构抽象推荐修复优先级输入源代码架构文档项目上下文Auri 分析参考文件输出数学分析复杂度发现并发问题发现正确性评估优先级建议修复代码示例要求来源规范: SKILL.md
