matematico-tao - 用严谨数学方法分析代码与架构运用复杂性理论、图论、形式逻辑和概率等数学方法分析代码与架构。标签更新于: 2026-10-19数学代码分析算法形式化方法复杂性理论并发软件架构能力典型输入典型输出该技能可以做什么分析代码架构将依赖建模为图验证并发属性计算复杂度与性能制定形式化契约排列建议优先级提供构造性证明输入源代码架构上下文项目参考文件分析目标输出数学分析报告按优先级排列的建议修正代码示例已验证的不变量要求来源规范: SKILL.md
