← 返回目录

Mantishack

社区

面向授权安全测试的自主漏洞发现代理。

查看安装方法 ↓ 横向对比 GitHub 源仓库 ↗

分类: 其他第 158 / 230
Stars: ★ 503 非常热门
运行环境: Rust · Node.js · Python · Go · 预编译二进制
凭据: 无需凭据
许可证: Apache-2.0
最近提交: 3 个月前
工具数: 14

49FMRS · D

资料显示 Mantishack 是一个 Apache-2.0 仓库中的实验性 MCP 安全测试 harness，具备工具所属发现状态、验证门控和多种分析能力；资料未提供客户端配置、传输方式或兼容性证据。

最强项 · 文档质量 13/20 最弱项 · 可靠性 8/20

可靠性

8/20

安全与权限

10/20

维护活跃度

8/20

文档质量

13/20

安装易用性

10/20

查看各项评分依据

可靠性 8/20: 仅有README证据，未提供manifest、CI、测试或实际MCP初始化与工具列表握手记录，因此无法验证服务器能否稳定启动或声明工具是否与实现一致。README说明多个工具依赖外部二进制，并在缺失时降级为available:false，这降低了故障风险但也显示关键路径依赖未验证，故扣分。
安全与权限 10/20: README明确要求先确认授权，并说明主动/利用测试在范围不清时应限制为只读静态分析；利用流程据称双重门控且默认关闭，发现服务也要求证据后才能确认。这些是正面控制。但该项目面向进攻性安全，包含攻击者模拟、HTTP审计和门控利用能力；未提供manifest、权限配置、凭据处理、网络边界或确认实现的可审查证据，因此不能给高分。
维护活跃度 8/20: 仓库未归档且有Apache-2.0及额外许可/归属说明，README也给出issues入口和当前架构说明。但未提供发布记录、提交频率、CI、依赖更新策略、漏洞响应流程或维护者治理证据；星标和开放issue不计分，故维护持续性只能有限确认。
文档质量 13/20: README覆盖架构、主要能力、生命周期、安全范围、依赖安装、缺失二进制时的行为、许可证和局限，且指出项目仍粗糙并依赖外部目标/工具。扣分项是未提供实际MCP manifest、客户端配置示例、工具参数与返回格式、认证/凭据说明、平台矩阵、成本限制、测试结果和系统化故障排查。
安装易用性 10/20: README给出了Rust构建步骤和若干扫描器安装命令，也说明从仓库根目录运行以解析项目配置；纯Node MCP服务器据称无需单独安装。可是没有主流MCP客户端配置示例、manifest内容、运行时版本要求、认证步骤或端到端连接验证，且需要Rust、Python、Homebrew/Go及可能的CodeQL等多套外部依赖，因此安装过程仍较手工和脆弱。

静态评测 · 未实际运行收录于 2026-08-14

查看 FMRS 评分方法 →

选型与风险

能访问什么读取本地文件执行命令或代码

适合谁

获得明确授权的安全研究人员。
需要将自动化检测与攻击者模拟验证结合的 AppSec 团队。
能够接受项目仍有缺口和外部工具依赖的技术用户。

不适合谁

未经授权的目标测试。
需要成熟、完整且无需配置的商业安全平台的用户。
希望在缺少外部扫描器时仍获得虚构结果的用户。

所需权限

需要读取和分析目标代码库。
若启用相关能力，可能需要调用本地扫描器、求解器和 CodeQL CLI。
主动测试或利用前必须确认目标授权；授权不明确时应限制为只读静态分析。

风险与副作用

受控利用功能存在双重门控且默认关闭，但主动测试仍可能影响目标。
缺少底层二进制会使扫描能力不可用。
项目明确仍较粗糙，部分流程和工具链尚有缺口。
CodeQL 特别不允许商业使用；还需审查所有被调用组件的许可证。

安装接入

准备工作

运行环境：Rust · Node.js · Python · Go · 预编译二进制

在仓库根目录克隆项目；进入 codex-rs 并运行 cargo build --release -p codex-cli；返回仓库根目录后运行 ./codex-rs/target/release/codex。可选安装 semgrep、bandit、trufflehog、trivy、z3、ast-grep、osv-scanner 和 CodeQL CLI；缺少底层二进制时，相应服务器会报告 available: false。

常见排障

确认从仓库根目录运行，以便加载项目范围的 .codex/config.toml。
确认 Rust 工具链可用并成功构建 codex-cli。
检查所需扫描器、z3、ast-grep、osv-scanner 和 CodeQL CLI 是否已安装。
查看服务器返回的 available: false，而不要将其解释为没有发现漏洞。
查阅 MANTIS.md 了解当前已接入能力及仍需外部二进制或运行目标的部分。

试试这样问

连接成功后，可以直接对 AI 助手这样说：

用 semgrep_scan 和 bandit_scan 扫描这个仓库，把结果登记为候选 finding

工具能力 14

semgrep_scan 只读

使用 Semgrep 扫描代码中的安全问题。

codeql_create_database 写入

创建用于 CodeQL 分析的数据库。

codeql_analyze 只读

使用 CodeQL 分析代码库。

osv_scan 只读

扫描依赖中的已知漏洞。

trufflehog_scan 只读

扫描潜在的密钥和凭据。

bandit_scan 只读

使用 Bandit 扫描 Python 代码。

trivy_scan 只读

使用 Trivy 扫描项目中的安全问题。

source_sink_scan 只读

进行启发式源到汇分析。

展开其余 6 个工具

ast_grep_scan 只读

执行结构化代码搜索。

smt_check_reachability 只读

使用 Z3 检查路径条件的可满足性和可达性。

finding_create 写入

创建工具所属的漏洞发现记录。

finding_update 写入

更新漏洞发现记录及其生命周期状态。

finding_get 只读

获取单个漏洞发现记录。

finding_list 只读

列出漏洞发现记录。

使用场景

对代码库进行高召回安全检测并验证候选漏洞。

结合源到汇分析和 SMT 可达性检查评估攻击路径。

管理漏洞从候选、确认、拒绝到修复和验证的生命周期。

生成带有边界和脱敏信息的 HTTP 证据包。

详细介绍

Mantishack 是构建在 OpenAI Codex CLI 之上的 Mantis AI，提供面向代码库的分阶段漏洞发现与验证流程，包括侦察、检测、可达性分析、攻击者模拟验证、漏洞链分析、受控利用、修复和报告。其 MCP 能力层封装多种静态分析、依赖、密钥和程序分析工具。