matematico-tao - 对代码与架构进行严谨的数学分析运用复杂性理论、图论、形式逻辑、概率论和并发模型等数学方法分析代码与架构。标签更新于: 2026-10-19数学代码分析算法形式化方法并发性能能力典型输入典型输出该技能可以做什么分析代码复杂度构建依赖关系图验证并发属性评估系统性能证明功能正确性检查架构抽象排序修复建议提供构造性解决方案输入源代码架构信息项目上下文系统需求输出数学分析结果复杂度评估并发问题发现正确性论证优先级修复建议解决方案代码要求来源规范: SKILL.md
