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