Procoder

这是什么

Procoder 是一个为 AI 编程助手设计的代码质量控制工具，通过一个 Go 二进制文件给 Agent 加上「提交门」，让 AI 写的代码必须通过格式、lint、安全、测试等多维检查才能算完成。

与其让 Agent 自行判断「写完了」，Procoder 强制它面对真实的质量指标：格式化是否规范、是否存在秘密密钥、测试是否通过、CI 配置是否正确。没有讨价还价的余地。

核心功能

提交门（commit gate）：在代码真正提交前执行完整质量检查，包括多语言格式化（Go、Python、JS/TS/HTML/CSS、PHP、Rust、C/C++、Java、Kotlin、Swift、Ruby、Dart、C#、Shell）、Git 卫生（冲突标记、垃圾文件、过大文件、AI 贡献行）、密钥扫描、Lint 和 CI 基础设施卫生检查。

质量链（quality chain）：从设计到交付的完整控制器链——Spec 访谈关闭设计缺口（spec check 阻塞缺失部分）、Plan 将规格转换为可执行任务（plan check 阻塞占位符）、Backlog 以里程碑→史诗→用户故事组织大型项目、Sprint 管理工作范围和延期处理、Todo 列表跟踪独立工作（todo close 拒绝未核查项）。

自我学习循环（self-learning loop）：PR 前自审捕获审查类问题；任何逃逸的缺陷自动进入 Lessons 账本，其适应方案（Linter 规则、评分标准行、固定测试）落地前不算完成。GitHub Copilot 自动审查结果经脱敏后自动建 Issue 并记录为未学。

测试域（test domain）：运行仓库真实测试套件，报告通过数、失败测试名称，以及「未运行」（NOT run）状态——NOT run 不等于绿色。设置 policy=block 时，绿色套件才算「完成」的一部分。

十大安全域：安全（gitleaks、semgrep、osv-scanner）、最佳实践（Lint）、可维护性（死代码、复杂度、依赖新鲜度）、性能（基准测试）、文档（破损引用、漂移、图表、ADR）、格式、测试、CI（固定 Actions 超时）、基础设施（Docker、Terraform、Kubernetes、Helm）和 GitOps 规范。

代码索引：ctags + SCIP，Agent 的快速代码地图，支持查找、引用、调用者、影响、未使用和入口点分析。

编码原则：工程原则在会话启动时注入（构建阶梯：复用→标准库→平台→最少代码；委托：并行子 Agent 在契约下工作；ADHD/ASD 友好格式：复杂答案用问题卡、决策浮现、噪声过滤）；所有规则均可按仓库覆盖。

工作原理

Agent 写代码 ──► Hook 触发 ──► 二进制计算发现
        ▲                                    │
        └──── Agent 审核并实施 ◄─────────────┘

两种模式，一个原则：

• 自助：Agent 自己运行的工具（check、format、lint、scan、query index、audit tree）。
• 强制：生命周期固定点的 Hook（每次写入、每次会话启动），Agent 无法跳过。
• P-CONTROL：二进制计算并报告，Agent 负责执行。代码、文件或状态永远不在 Agent 背后被修改。

支持的 Agent

Claude Code（通过 /plugin marketplace add azrtydxb/procoder 安装）、Cursor、Windsurf、Cline、Kilo Code、Roo、Kiro、Codex CLI、Copilot CLI、Gemini、OpenCode，以及任何读取 AGENTS.md 的 Agent。

使用方式

在 Claude Code 中安装（3步）：

/plugin marketplace add azrtydxb/procoder
/plugin install procoder
/procoder:init          # 安装所需工具

对于其他 Agent，从 GitHub Releases 下载安装程序。

适用人群

需要 AI 编程助手写出真正可生产代码的开发者；不希望 AI 「写完了」却留下一堆 lint 错误、格式问题和未跑测试的团队负责人；对代码质量有要求但不想手动介入每一行 AI 生成代码的工程师。