SecHelix

大多数 AI 安全工具都试图发现更多问题。SecHelix 则试图证明自己的判断是错的。

SecHelix

每个候选发现都会交给一个独立验证器，它唯一的任务就是反驳它。报告会告诉你它驳回了什么，以及原因；如果无法实际完成检查，则会返回 INCOMPLETE，而非干净利落的 PASS。

采用 Apache-2.0 许可证开源，适用于你拥有或获准测试的代码。可在 Claude Code、Codex、Copilot 和其他兼容 Agent Skills 的 Agent 中运行；Python 运行时为可选项。

它可帮助编码 Agent：

• 绘制攻击面和信任边界；
• 仅审查适用于项目的安全检查；
• 调查身份验证、授权、业务逻辑、注入、SSRF、文件、供应链、AI/MCP 及其他安全面；
• 验证重要候选问题，而不是报告猜测；
• 修复根本原因；
• 添加回归验证并重新测试；
• 给出明确的发布决策。

90 秒看它如何工作

git clone https://github.com/omarmohelal/SecHelix && cd SecHelix
python examples/expense-api/prove.py

一个小型多租户 API，包含两个候选问题。其中一个是真实的跨租户读取漏洞，扫描器却忽略了它，因为该端点确实有授权检查——只是检查了错误的内容。另一个是 f 字符串 SQL，所有模式匹配器都会标记它，但它根本无法被利用。

演练、根本原因、两行修复代码和回归验证： examples/expense-api。

或者在浏览器中进行同一项测试——十个案例，其中三个是干扰项，无需注册： 你能分辨出真实漏洞和干扰项吗？

安装

推荐用于兼容 Agent Skills 的编码 Agent：

npx skills@latest add omarmohelal/SecHelix --skill sechelix

然后在编码 Agent 中打开你想要审查的仓库。该技能只会安装说明和数据，不包含可执行代码。下方的可选运行时需单独明确安装。

精简版 sechelix-lite 是一个无需运行时的单一审查技能（约 200 行，另加五个参考文件），适用于技能目录以及注重控制上下文占用量的宿主。请参阅 docs/distribution/awesome-copilot.md。

使用

全面安全审计

将以下内容复制到你的 Agent 中：

Use SecHelix for a complete authorized security audit of this repository.
Start STATIC and use LOCAL only if it is safe and useful.
Map the attack surface and trust boundaries first.
Verify important candidates before reporting them.
Fix root causes, add regression tests, retest, and give me the final release gate.

快速安全审查

Use SecHelix to triage this repository for security issues.
Prioritize authentication, authorization, business logic, secrets, injection, SSRF, file handling, supply chain, dangerous configuration, and AI/MCP surfaces.
Return evidence-backed findings and clearly mark anything unproven.

AI 构建应用的上线审计

在上线 AI 生成、Agent 生成、快速原型开发或 vibe coding 的应用之前使用：

Use SecHelix's AI-Built App Launch Audit on this authorized application.
Evaluate launch checks 01-36 from references/ai-built-app-launch.md.
Do not mark PASS without exact code, configuration, policy, test, log, or safe runtime evidence.
For every FAIL or security-relevant UNKNOWN, give the realistic failure mode, smallest root-cause fix, and exact safe verification step.
After fixes, re-run the failed/unknown checks and produce the normal SecHelix release gate.

上线配置会检查实用的发布前风险，包括密钥、身份验证/授权、跨用户数据、数据库/存储权限、调试信息暴露、输入验证、SQL/NoSQL 注入、XSS/CSRF、上传、路径遍历、SSRF、密码重置、会话/JWT、CORS、速率限制、预发布环境、默认凭据、Webhook、支付/权益、IDOR/BOLA、敏感日志和生产构建产物。

审查拉取请求

Review this PR with SecHelix.
Focus on security changes introduced by the diff, verify important candidates, and tell me whether the PR introduces a verified blocker or known risk.

修复发现的问题

Use SecHelix Fix Mode on the verified findings.
Fix the root cause, look for variants of the same bug, add security regression tests, and retest the original finding.

更多可直接复制粘贴的工作流：命令手册。

我应该让 SecHelix 做什么？

目标	请求
全面审查代码库	complete security audit
快速初步检查	security triage
上线前审查 AI 构建／vibe-coded 应用	AI-Built App Launch Audit
访问控制失效	authorization / IDOR / BOLA audit
登录和会话	authentication / session / OAuth audit
输入处理	injection / XSS / SSRF / files audit
支付和工作流	business logic / race / idempotency audit
依赖项和 CI	supply chain / CI/CD audit
大模型、Agent 和工具	AI / Agent / MCP security audit
代码变更	PR security review
已验证的问题	Fix Mode
发布决策	release gate
可分享的输出	security report

你无需记住特殊的斜杠命令。SecHelix 主要以技能的形式提供：告诉编码 Agent 你想完成什么安全工作即可。

审查如何进行

scope
  → map attack surface
  → select applicable checks
  → investigate
  → independently verify important candidates
  → fix root cause
  → add regression proof
  → retest
  → report + release gate

扫描器匹配结果或模型的怀疑会被视为候选项，而不会自动认定为漏洞。

有力的发现应说明受影响的攻击面、涉及的攻击者控制权或安全边界、可达性、影响、根本原因、安全证据、修复方案，以及回归测试／复测状态。

SecHelix 不会声称什么

• 它不是认证。 PASS 表示发布门禁规则在已审查内容中未发现尚未解决的阻塞条件，并不表示软件没有漏洞。
• 在真实代码中，它发现了 12 个已知 CVE 中的 2 个。 对 12 个近期 CVE 的易受攻击版本和已修补版本进行盲测后，按照预先注册的规则，有 2 个被准确发现，3 个经人工判定后确认，且没有任何被标记为 VERIFIED 的发现属于已知缺陷（报告）。精确率为 NOT_MEASURED。
• 推理仍由模型完成。 SecHelix 会组织审查，并将未经证实的主张标记为未经证实，而不是将其删除：在该次测试中，106 个发现里有 92 个被标记为 LIKELY_BUT_UNPROVEN 或 HYPOTHESIS。如果模型无法推理出某个错误，它也无法让模型看到这个错误。
• 不同宿主的支持情况有所不同。 已验证的安装方式包括 Claude Code 插件、Agent Skills CLI、便携式套件和精选的 Copilot CLI 插件；其他宿主的安装方式见文档（兼容性）。
• 仅限授权目标。 它不是互联网扫描器，也不附带漏洞利用载荷。

完整本地运行环境：SecHelix + 嵌入式 Strix

要使用完整的本地技术栈，包括 SecHelix 已通过兼容性测试的确切 Strix 源代码修订版本，请使用子模块克隆并运行引导脚本：

git clone --recurse-submodules https://github.com/omarmohelal/SecHelix.git
cd SecHelix
bash scripts/bootstrap-full.sh

这会将 Strix 放置在 SecHelix 检出目录下的 engines/strix 中，并将两个项目安装到同一个 Python 3.12 虚拟环境中。嵌入源代码是为了确保安装可复现，而 SecHelix 适配器仍负责授权／证据边界。OpenRouter 设置和首次运行命令见**docs/full-install.md**。

可选 CLI 运行时

Agent Skill 无需 Python 运行时即可使用。运行时为可选组件，可提供运行记录存储、覆盖跟踪、可重放证据、报告、适合 CI 的退出代码以及 MCP 适配器。

使用以下命令安装：

pipx install sechelix
sechelix doctor

也支持使用 uv tool install sechelix 和 python -m pip install sechelix 安装。

实用 CLI 命令

命令	功能
sechelix doctor	显示可用组件和推理执行器
sechelix audit . --executor claude-code	使用 Claude Code 作为推理执行器运行审计
sechelix audit . --executor gemini-cli	使用 Gemini CLI 作为推理执行器运行审计
sechelix audit . --resume-from .sechelix/checkpoints/RUN-....json --executor nexus	验证密封检查点与相同目标、范围、图和输入环境一致后，仅恢复未完成的节点
sechelix launch-audit . --executor claude-code	运行基于证据路由的 AI 构建应用启动检查 19-36，不会将“无候选项”判定为 PASS
sechelix runs	列出已保存的运行并检查其完整性
sechelix coverage	显示之前的运行未检查的内容
sechelix report	生成最新已保存运行的报告
sechelix replay <run_id>	离线重放记录的运行并检查一致性
sechelix mcp .	通过 stdio 提供本地 MCP 适配器

示例：

sechelix doctor
sechelix audit . --executor claude-code
sechelix launch-audit . --executor claude-code
sechelix coverage
sechelix report --format markdown

使用默认的 --executor none 运行 sechelix audit . 时，不会假装分析代码。推理节点会被阻止，且在配置真实执行器之前，运行会保持未完成状态。

现在，审计和启动审计运行默认会在 .sechelix/checkpoints/ 下写入一个自密封的节点边界检查点。如果进程或主机意外终止，请将该文件传递给 --resume-from；已完成节点的证据会保留，剩余节点可以使用不同的执行器/提供方。如果目标提交、范围、图、输入环境、预算限制或检查点摘要发生变化，恢复操作将安全失败。

查看所有 CLI 标志：

sechelix --help
sechelix audit --help

高级运行时指南：V4 Runtime Quickstart。

GitHub Action

- uses: omarmohelal/[email protected]
  with:
    executor: none

输出 PASS、PASS_WITH_KNOWN_RISK、BLOCKED 或 INCOMPLETE，为代码扫描写入 SARIF，并将运行作为构件上传。默认的 executor: none 会有意报告 INCOMPLETE，而不会给出未经验证的绿色检查结果——配置推理执行器以进行实际审查。

完整参考：GitHub Action。

MCP 适配器

uvx sechelix mcp /path/to/the/repository

在你选择的根目录下提供七种工具，不使用 shell，也不连接网络。其中六种只读；sechelix_audit 仅会在该根目录内写入运行工作区。根目录是安全边界：请将其指向待审查的代码库，而不是你的主目录。

参考：MCP adapter。

执行模式

模式	用途
STATIC	在没有动态流量的情况下审查源代码、配置和架构
LOCAL	针对本地应用和测试夹具进行安全的动态验证
STAGING	获得明确授权后进行非生产环境测试
PRODUCTION_SAFE	仅进行有边界、非破坏性的验证

仅测试你拥有或明确获准评估的系统。请参阅 SECURITY.md。

输出

根据工作流和可用运行时，SecHelix 可以生成：

• 有证据支持的发现和已证伪的候选项；
• 根因修复指导或修复方案；
• 安全回归测试；
• 复测状态；
• Markdown、已脱敏的 JSON、SARIF 或 HTML 报告；
• 发布决策：PASS、PASS_WITH_KNOWN_RISK、BLOCKED 或 INCOMPLETE。

文档

先从实用文档入手，仅在需要时查阅更深入的资料：

• 命令手册 — 可直接复制粘贴的安全工作流。
• AI 构建应用上线审计 — 面向 AI 构建／氛围编码应用、以证据为门槛的上线前检查。
• V4 运行时快速入门 — 可选的 CLI／运行时用法。
• GitHub Action — 在 GitHub Actions 中使用 SecHelix。
• MCP 适配器 — 本地 MCP 服务接口。
• CI 集成 — 在 CI 中使用 SecHelix。
• 架构 — 设计与内部实现。
• 评估 — 评估方法与结果。
• 扩展 — 扩展框架。
• SEO 审计和代码库清理 — 可选、需明确请求的质量工作流，带有各自的报告（提示词）；不属于安全判定的一部分。
• 安全策略 — 安全使用与漏洞报告。
• 贡献指南 — 为 SecHelix 做出贡献。

此代码仓库还包含详细的架构定义、目录、适配器、评估夹具和研究资料。它们为框架提供支持；开始使用 SecHelix 无需阅读这些内容。

许可证

Apache-2.0。请参阅 LICENSE。