matematico-tao - 数学化代码与架构分析运用复杂度理论、图论、形式逻辑、并发模型、性能分析等数学方法分析代码与架构。标签更新于: 2026-10-19数学代码分析算法形式化方法能力分析代码复杂度构建依赖图检查并发属性分析系统性能典型输入源代码架构背景项目文件典型输出数学分析报告正确性问题并发问题该技能可以做什么分析代码复杂度构建依赖图检查并发属性分析系统性能验证形式正确性评估架构抽象排序改进建议提出构造性修复输入源代码架构背景项目文件auri-analysis.md 参考文件输出数学分析报告正确性问题并发问题性能问题优先级建议具体代码方案要求来源规范: SKILL.md
