matematico-tao - 使用高级数学方法分析代码
使用复杂度理论、图论、形式逻辑、概率论等数学方法分析代码与架构。
标签
更新于: 2026-10-19能力
典型输入
典型输出
该技能可以做什么
- 分析算法复杂度
- 构建依赖图模型
- 检查并发属性
- 分析系统性能
- 验证形式正确性
- 评估架构抽象
- 反驳系统不变量
- 提供构造性建议
输入
- 源代码
- 架构文档
- 项目上下文
- Auri 分析参考资料
输出
- 数学化代码分析
- 复杂度发现
- 并发问题发现
- 性能分析结果
- 正确性分析结果
- 优先级建议
- 解决方案代码
要求
- 项目文件访问权限
- 兼容的代码分析环境