matematico-tao - 超高级数学代码分析使用信息论、图论、计算复杂性、形式逻辑和概率等严谨数学方法分析代码与架构。标签更新于: 2026-10-19数学代码分析算法形式化方法能力分析代码复杂度建模依赖图检查并发属性评估系统性能典型输入源代码系统架构项目上下文典型输出数学分析报告复杂度问题并发问题该技能可以做什么分析代码复杂度建模依赖图检查并发属性评估系统性能验证形式正确性分析架构抽象反证系统不变量排序改进建议提供构造性证明输入源代码系统架构项目上下文参考文件用户分析请求输出数学分析报告复杂度问题并发问题正确性问题性能问题优先级建议修正代码示例要求来源规范: SKILL.md
