SuperAPI AI 工具集

theory-building-review

编程与开发

查看项目

更新于 10-15 21:41

技能介绍

用途:将 Naur 的“编程即理论构建”理念变成仓库习惯。在一周工作、若干合并变更或一个功能落地后,审计代码是否仍保留团队对领域的理论,回答“代码是否仍清晰表达现实世界模型,足以让未来程序员明智地修改它”。该技能为手动触发,仅在用户明确调用或要求运行每周理论构建审查时使用;若用户正在设计、实现、重构、评审或接受某个具体变更,应改用 theory-building。

主要能力:检查近期 diff、涉及模块、测试、文档与领域代码;从仓库证据重建当前系统理论;识别漂移、隐藏规则、过载术语、薄弱边界以及缺失的理论保持型测试或文档;产出本周可执行的小行动项。审查深度可选:轻量每周、功能落地后、重构前、个人练习。通过“世界—程序—理论”框架,用映射、不变式与规则、概念契合、边界与上下文、理论保持、衰退信号等问题审查,并按 P1/P2/P3 标注严重度。

使用方式:用户未指定范围时,可用预设范围:近期 diff、最近 10 次提交、单个功能/模块、兜底扫描。可运行 git status --short、git diff --stat、git diff、git log --oneline -n 10;若无 Git 历史,则用 rg --files 与 rg 搜索 TODO、FIXME、model、invariant 等。输出使用固定结构:理论摘要、强信号、发现、行动项、本周练习、开放问题。轻量每周保留最多三条发现和三条行动项。

适用场景:每周回顾、功能落地后、重构前、多次 AI 辅助变更后、个人技艺练习。

限制:不用于主动设计、实现、PR 评审、调试或接受某个生成变更;不编造未被代码、测试、文档或用户上下文支持的业务规则;避免泛泛的架构建议;实施改进时应先完成审查,仅做审查支持的紧范围变更。官方未提供其他安装或收费信息。