matematico-tao - 对代码与架构进行严格的数学分析运用复杂度理论、图论、形式逻辑、概率论等数学方法分析代码与架构。标签更新于: 2026-10-19数学代码分析算法形式化方法并发性能能力典型输入典型输出该技能可以做什么进行数学化代码分析构建依赖关系图验证形式化正确性分析并发系统评估性能复杂度提出构造性修复方案输入源代码架构说明项目文件Auri 分析参考资料输出数学分析报告正确性问题发现性能问题发现优先级建议具体代码解决方案要求来源规范: SKILL.md
