Harden 是一套项目无关的对抗式加固流程,目标是让系统在生产环境更健壮,同时避免过度建设。它组合了 /review(正确性检查)、/security(认证、加密、密钥)以及 /gate(验证修复是否成立)。
用途与流程:先检测技术栈并从清单文件(package.json、pyproject.toml、go.mod、IaC 文件)识别语言与框架,再绘制数据流经的每个阶段,输出 entry → … → exit 的阶段图,标注每跳的信任边界与失败面。随后在改代码前先做调研,安全或基础设施相关内容需对照至少两个一手来源。
主要能力:以对抗视角运行 /review,假设代码有错并加以证明,覆盖正确性、信任边界、竞态、N+1、未处理拒绝、部分失败、资源泄漏、契约漂移;每条发现需经第二轮反驳后才被接受。安全红队覆盖 API 的认证授权、IDOR、输入校验、批量赋值、限流、SSRF、注入、DoS 限制与预签名 URL 范围,UI 的 XSS、CSRF、密钥泄漏,依赖 CVE 与供应链风险,以及加密、PII、日志脱敏与最小权限。可观测性要求结构化 JSON 日志、端到端关联/追踪 id、每阶段错误处理与重试性、幂等键,并能用一行日志重建整次运行。瓶颈环节检查超时、重试退避、非幂等重试、同步调用、N+1、无界并发、冷缓存与过大 LLM 调用,为每个外部调用加超时与熔断。反过度工程要求简化不牺牲正确性、性能、成本与输出质量。最后通过项目正常流程落地补丁,运行 /gate 与项目测试,CI 通过后再开 PR。
限制:资料未提供具体安装命令、收费、价格、平台或效果数据;流程依赖项目自身已有的 /review、/security、/gate 等能力,缺失时暂未提供替代说明。