mythos-agent

English · 简体中文

mythos-agent

面向应用安全的 AI 代码审查助手。

开源。读取你的代码，标记可能存在的安全问题，解释推理过程并提出修复建议。

mythos-agent.com

快速开始 • 工作原理 • 命令 • 猎寻模式 • 变体分析 • 集成 • 参与贡献 • 愿景 • 路线图

---

mythos-agent 以安全团队审查代码的方式审查你的代码。 它会逐一检查可能的问题模式，查找已知 CVE 的变体，按置信度对发现的问题排序，并提出可接受或拒绝的修复建议。完整说明请参阅 VISION.md。

面向新贡献者： 当前为期 6 个月的工作计划列在置顶议题 [Roadmap] mythos-agent H1 2026 Goals 中。留意 🙋 标记，了解哪些事项需要帮助。刚加入？请参阅 CONTRIBUTING.md，了解 good-first-issue 指引。

面向安全团队和符合 EU CRA 要求的下游制造商： 请参阅 SECURITY.md，了解我们的漏洞披露 SLA；参阅 docs/security/cra-stance.md，了解我们对 EU CRA 的角色声明；参阅 docs/security/threat-model.md，了解公开的威胁模型；参阅 RELEASES.md，了解版本管理、LTS 和 EOL 政策。OpenSSF 最佳实践徽章（通过）计划于 2026 年 6 月提交；版本发布通过 Sigstore 签名，并附带 CycloneDX SBOM，以满足下游制造商的合规要求。

npx mythos-agent hunt

🔐 mythos-agent hunt — AI Code-Review Assistant

✔ Phase 1: Reconnaissance — 12 entry points, express, typescript, postgresql
✔ Phase 2: Hypothesis — 8 security hypotheses generated
✔ Phase 3: Analysis — 15 findings (semgrep, gitleaks, trivy, built-in), 22 false positives dismissed
✔ Phase 4: Reproduction — 2 finding chains, 3 reproductions

🧪 Security Hypotheses

  [HIGH] HYPO-001 — Race condition: concurrent payment requests could double-charge
    src/payments.ts:45 (race-condition)
  [HIGH] HYPO-002 — Auth bypass: JWT token not validated after password change
    src/auth.ts:78 (auth-bypass)

📊 Confidence Summary

  3 confirmed | 8 likely | 4 possible | 22 dismissed

⛓️ FINDING CHAINS

 CRITICAL  SQL Injection → Auth Bypass → Data Exfiltration
  ├── src/api/search.ts:45      — unsanitized input in SQL query
  ├── src/middleware/auth.ts:88  — JWT verification skippable
  └── src/api/export.ts:23      — bulk export has no ACL

🧪 Reproductions

  SPX-0001 — SQL injection in search endpoint
    See repro steps in docs/reproductions/SPX-0001.md

  Trust Score: 2.3/10 — critical issues found

快速开始

# Install
npm install -g mythos-agent

# Quick scan (no API key needed)
mythos-agent scan

# Full autonomous hunt (needs API key)
mythos-agent init
mythos-agent hunt

# Find variants of known CVEs
mythos-agent variants CVE-2021-44228

# Ask security questions
mythos-agent ask "are there any auth bypasses?"

# Check available tools
mythos-agent tools

工作原理

mythos-agent 将其他开源工具都未能结合实现的三项能力融为一体：

1. 假设驱动扫描

不同于匹配已知模式，AI 会推理可能出错的地方，并生成假设，例如“此事务未锁定该行，可能存在竞争条件”或“此身份验证检查使用字符串比较，可能遭受计时攻击”。

2. 变体分析（Big Sleep 技术）

给定一个已知 CVE，mythos-agent 会在你的代码库中查找结构相似但语法不同的代码。根本原因相同，位置不同。Google 的 Big Sleep 正是通过这种方式发现了 20 个真实的零日漏洞。

3. 多阶段验证

每项发现都会经过置信度验证流程：

• 模式扫描 → 候选项
• AI 假设 → 确认存在理论风险
• 智能模糊测试器 → 已动态测试
• PoC 生成器 → 通过具体攻击验证问题确实存在

只有经过多个阶段验证的发现才会报告为“已确认”。

命令

命令	说明
hunt [path]	完整的自主多 Agent 扫描（侦察 → 提出假设 → 分析 → 利用）
scan [path]	标准扫描（模式 + 密钥 + 依赖项 + IaC + AI）
variants [cve-id]	在你的代码库中查找已知 CVE 的变体
fix [path]	AI 生成的补丁，支持 --apply
ask [question]	使用自然语言查询安全问题
taint [path]	AI 数据流 / 污点分析
watch	持续监控，并在文件保存时进行扫描
dashboard	本地 Web UI，包含图表和发现项表格
report [path]	导出为终端 / JSON / HTML / SARIF 格式
policy	通过策略即代码实现 SOC2/HIPAA/PCI/OWASP 合规
rules	社区规则包注册表（搜索/安装/发布）
tools	检查已安装的外部安全工具
init	设置向导（Anthropic、OpenAI、Ollama、LM Studio）

Hunt 模式

mythos-agent hunt 会运行完整的多 Agent 流程：

┌──────────────┐     ┌──────────────┐     ┌──────────────┐     ┌──────────────┐
│    Recon     │ →   │  Hypothesis  │ →   │   Analyze    │ →   │   Exploit    │
│    Agent     │     │    Agent     │     │    Agent     │     │    Agent     │
├──────────────┤     ├──────────────┤     ├──────────────┤     ├──────────────┤
│ Map entry    │     │ Reason about │     │ All scanners │     │ Chain vulns  │
│ points, auth │     │ what could   │     │ + external   │     │ + generate   │
│ boundaries,  │     │ go wrong per │     │ tools + AI   │     │ PoC exploits │
│ data stores  │     │ function     │     │ verification │     │              │
└──────────────┘     └──────────────┘     └──────────────┘     └──────────────┘

变体分析

查找项目中根本原因与已知 CVE 相同的代码：

# Search for Log4Shell-like patterns
mythos-agent variants CVE-2021-44228

# Auto-detect and scan for variants
mythos-agent variants --auto

变体分析器会从 CVE 中提取根本原因模式（而非表层语法），并在你的代码库中搜索结构相似的代码。

扫描器（15 个已接入 + 28 个实验性扫描器，329+ 条规则）

默认扫描器会在每次运行 mythos-agent scan 时执行。实验性扫描器是已实现并通过单元测试的类，会随 tarball 一起发布，但尚未接入任何 CLI、HTTP、MCP 或 Agent 入口。它们由接入不变性测试中的 KNOWN_EXPERIMENTAL 跟踪。

类别	检查内容	规则	状态
代码模式	SQLi、XSS、命令注入、eval、SSRF 等	25+	默认
框架规则	React、Next.js、Express、Django、Flask、Spring、Go	27	默认
密钥	AWS、GitHub、Stripe、API 密钥、数据库 URL、私钥 + 熵	22	默认
依赖项（SCA）	通过 OSV API 检查已知 CVE（10 种锁定文件格式）	OSV	默认
IaC	Docker、Terraform、Kubernetes 配置错误	13	默认
AI/LLM 安全	提示词注入、对 AI 输出进行不安全的 eval、成本攻击	13	默认
API 安全	OWASP API Top 10：BOLA、批量赋值、身份验证失效	12	默认
云配置错误	AWS/Azure/GCP：公开存储、通配符 IAM、开放防火墙	14	默认
安全标头	CSP、HSTS、X-Frame-Options、Referrer-Policy	8	默认
JWT	算法、过期时间、存储、撤销、受众	9	默认
会话	会话固定、过期时间、Cookie 标志、本地存储令牌	7	默认
业务逻辑	负数金额、优惠券重复使用、库存竞态、角色提升	6	默认
加密审计	弱哈希、ECB 模式、硬编码密钥、已弃用的 TLS	11	默认
隐私/GDPR	个人身份信息处理、同意、数据保留（GDPR 条款映射）	9	默认
竞态条件	TOCTOU、非原子操作、重复扣款、缺少事务	7	默认
ReDoS	正则表达式中的灾难性回溯（嵌套量词、重叠的替代分支）	—	默认
供应链	仿冒拼写、依赖混淆、危险的安装脚本	12	实验性
零信任	服务信任、mTLS、网络分段、基于 IP 的身份验证	8	实验性
GraphQL	内省、深度限制、字段身份验证、批处理	8	实验性
WebSocket	身份验证、来源检查、消息验证、广播 XSS	7	实验性
CORS	来源反射、凭据处理、子字符串绕过	7	实验性
OAuth/OIDC	缺少 state、未使用 PKCE、隐式流、客户端密钥泄露	7	实验性
SSTI	Jinja2、EJS、Handlebars、Pug、Nunjucks、Twig、Go 模板	7	实验性

其他实验性扫描器（另外 21 个，尚未接入默认扫描）

深入 SQL 注入、深入 XSS、NoSQL、命令注入、反序列化、路径遍历、开放重定向、XXE、输入验证、点击劫持、DNS 重绑定、子域名枚举、依赖混淆、环境变量、日志记录、错误处理、缓存、电子邮件、上传、内存安全、权限。

每个扫描器都以类的形式存在于 src/scanner/ 下，并在 src/scanner/__tests__/coverage-scanners.test.ts / new-scanners.test.ts 中有单元测试，但不会由任何 CLI 命令、HTTP API 路由、MCP 处理器或 Agent 管线调用。有关每个扫描器暂缓接入的原因，请参阅接入不变性测试中的 KNOWN_EXPERIMENTAL。接入方式可参考 main 分支上 HeadersScanner / JwtScanner / SessionScanner / BusinessLogicScanner 的提交。

除上述扫描器外，mythos-agent 还提供互补分析功能（不计入扫描器总数）：调用图 + 污点引擎、DAST 智能模糊测试器、AI 假设 Agent、变体分析和 Git 历史挖掘。

**外部工具集成：**Semgrep（30+ 种语言）、Gitleaks（100+ 种模式）、Trivy（SCA + 容器）、Checkov（1000+ 条 IaC 策略）、Nuclei（9000+ 个 DAST 模板）

集成

平台	内容
VS Code	提供内联诊断和一键式 AI 修复的扩展
GitHub Action	在推送/PR 时扫描，并将 SARIF 上传到 Code Scanning
PR 审查机器人	在拉取请求中对存在漏洞的代码行添加内联评论
仪表板	通过 mythos-agent dashboard 启动的本地 Web 界面
SARIF	GitHub Code Scanning、VS Code 及任何 SARIF 工具
策略引擎	SOC2、HIPAA、PCI-DSS、OWASP 合规映射

AI 提供商

层级	提供商	状态
1 — 主要	Anthropic (Claude Sonnet / Opus / Haiku)	已全面测试。 docs/benchmarks/external-scores.md 中公布的检出率数据由此层级生成。
2 — 兼容（目前通过代理，阶段 2 原生支持）	任何兼容 OpenAI 的服务——OpenAI、通过 DashScope/OpenRouter 接入的 Qwen、Gemini、Mistral、vLLM、Ollama、LM Studio、Bedrock 等	目前：在 .mythos.yml 中设置 baseURL 或设置 ANTHROPIC_BASE_URL 环境变量，即可通过任何兼容 Anthropic 的代理（LiteLLM、OpenRouter、Vercel AI Gateway、Bedrock）路由。阶段 2 将加入原生 OpenAI SDK 支持。
3 — 本地 / 社区	本地 Ollama / LM Studio / vLLM	使用与第 2 层相同的代码路径；单独列出是因为其适用场景是隐私保护和零成本。尽力支持；Agent 工具使用效果取决于本地模型的规模。

模式扫描、密钥、依赖项和 IaC 功能无需任何 API 密钥即可使用。

有关完整的分层系统策略和分阶段推出计划，请参阅 docs/multi-model.md（本 README 为摘要；该文档是权威参考）。

对比

功能	mythos-agent	Semgrep	Snyk	CodeQL	Nuclei
模式扫描	是	最佳	是	是	模板
假设扫描	是	否	否	否	否
变体分析	是	否	否	部分支持	否
AI 引导模糊测试	是	否	否	否	模板
PoC 生成	是	否	否	否	否
AI 深度分析	是	否	有限	否	否
漏洞链分析	是	否	否	否	否
AI 自动修复	是	否	修复 PR	否	否
自然语言查询	是	否	否	否	否
密钥	是	是	是	否	否
SCA	是	否	最佳	否	否
IaC	是	否	是	否	模板
DAST	是	否	否	否	最佳
开源	是	部分	否	是	是

此功能表对比的是功能，而非准确率。 如需查看可复现且可由第三方运行的准确率数据，了解其在 OWASP Benchmark、CyberSecEval 3、Vul4J 和我们的 CVE 重放测试框架上的表现，并与 Semgrep CE / Snyk Code / CodeQL 进行比较，请参阅 docs/benchmarks/external-scores.md。

贡献

详情请参阅 CONTRIBUTING.md。

git clone https://github.com/mythos-agent/mythos-agent.git
cd mythos-agent && npm install && npm run build && npm test

架构

src/
  agents/         Multi-agent orchestrator + Recon/Hypothesis/Analyzer/Exploit agents
  analysis/       Code parser, call graph, taint engine, variant analyzer, service mapper
  agent/          AI integration, prompts, tools, fix validator
  cli/            44 CLI commands
  dast/           Smart fuzzer, PoC generator, payload library
  policy/         Policy engine + compliance mapping
  report/         Terminal, JSON, HTML, SARIF, dashboard
  rules/          Built-in + custom YAML + community registry
  scanner/        Pattern, secrets, deps, IaC, diff scanners
  store/          Results persistence + incremental cache
  tools/          External tool wrappers (Semgrep, Trivy, etc.)
vscode-extension/ VS Code extension
action/           GitHub Actions
bot/              PR Review Bot

许可证

MIT