matematico-tao - Prof. Euler——超高级数学分析运用复杂度、图论、并发、性能和形式正确性等数学理论分析代码与架构。标签更新于: 2026-10-19数学代码分析算法形式化方法并发性能能力典型输入典型输出该技能可以做什么分析代码与架构构建依赖图评估算法复杂度分析并发系统检查形式正确性排序技术建议提供具体代码方案输入源代码架构说明项目上下文auri-analysis.md 参考文件输出数学分析结果复杂度评估正确性评估排序后的建议反例与不变量具体代码方案要求来源规范: SKILL.md
