godkiller-mcp
An MCP server that enforces hard quality gates on AI coding agents, including forced web search, planning, and empirical test execution, to prevent common failure modes and ensure production-grade code.
README
GODKILLER MCP
Phase kernel for Google Antigravity.
Plan. Gate. Prove on disk. Then claim done — or get blocked.
pip install godkiller-mcp
Contact: Facebook · Instagram @Kayvin.th
Mission
Antigravity skips phases. GODKILLER does not allow that.
| Failure mode | Kernel response |
|---|---|
No /plan |
plan / phase gates |
| Multi-file rush | /ultradeep one-file think → plan → edit |
| Fake “done” | verify_bundle + claim_done block |
| Session amnesia | marathon + memory graph |
goal → mode → evidence/plan → gated edit → disk verify → claim_done
Arena — Bare vs GODKILLER
| Control | Value |
|---|---|
| Runtime | Gemini 3.6 Flash (HIGH) — identical both arms |
| Bare | 3_WITHOUT_MCP |
| GODKILLER | 2_WITH_MCP |
| Oracle | sealed hidden_oracle/ pytest |
Single variable: MCP off / on.
Artifacts: 11_dimension_scorecard.md · 5_dimension_audit_log.json
Gauntlet
| Gate | Load |
|---|---|
| Tier 1 | ×50 |
| Tier 2 | ×150 |
| Tier 3 | ×300 |
| Nightmare | enterprise deadlock / ledger stress |
| TAU-style SOTA | state-drift / rate-limit / locks |
| Blind oracle | disk green required |
Scorecard (11)
| # | Dimension | Bare | GODKILLER | Winner |
|---|---|---|---|---|
| 1 | Pass rate | 516 / 516 | 516 / 516 | Tie |
| 2 | Speed | 0.36–0.37s | 0.31–0.32s (−16.2%) | GODKILLER |
| 3 | Tokens | ~35k–46k | ~50k–60k | Bare |
| 4 | Diff mass | +59 −52 | +73 −54 | GODKILLER |
| 5 | AST nodes | 2,840 | 3,120 (+9.8%) | GODKILLER |
| 6 | Anti-fake-claim | summary without green | live pytest gate | GODKILLER |
| 7 | Read scope | partial skim | full-scope gate | GODKILLER |
| 8 | Council | none | Coder / Hacker / Optimizer | GODKILLER |
| 9 | Rules | none | AGENTS.md + phases | GODKILLER |
| 10 | Defense | local patch | guards + type bounds | GODKILLER |
| 11 | Memory | .txt |
marathon + graph | GODKILLER |
Pass-rate tie. Process dominance: GODKILLER. Token premium: accepted.
Kernel
| Layer | Enforcement |
|---|---|
| Phase machine | assert_phase / claim_done |
| Plan OS | 9-step validate before fix edits |
| Edit safety | blast radius + check_edit_safe |
/ultradeep |
one phase/turn · one file/edit cycle |
| Verify | disk commands only |
| Memory | task → phase → evidence → lesson |
| Surface | gk_code / gk_scan / gk_browser |
/ultradeep
queue → think (≥3 hypotheses) → plan → edit_safe (1 path) → verify → advance
Install
pip install godkiller-mcp
# pip install 'godkiller-mcp[browser]' && playwright install chromium
# pip install 'godkiller-mcp[scrape]'
{
"mcpServers": {
"godkiller": { "command": "godkiller-mcp" }
}
}
Alternate: python -m godkiller_mcp.server
Optional: GODKILLER_TOOLS_DIR
Facades (12)
| Tool | Domain |
|---|---|
gk_route |
/ask /plan /debug /ultradeep /verify |
gk_mode |
protocol · skills · file gate |
gk_task |
open · blast · edit_safe |
gk_phase |
assert · claim_done · rubric |
gk_evidence |
submit · shot · critic · journey |
gk_verify |
bundle · soak · loop · competitor |
gk_memory |
lessons · marathon · graph |
gk_code |
map · search · read_full · council |
gk_scan |
AST/CWE · Semgrep |
gk_browser |
navigate · snapshot · click · fill |
gk_handoff |
spec · feedback |
gk_meta |
plan_template · plan_validate |
Modes
| Mode | Contract |
|---|---|
/ask |
no application edits |
/plan |
9-step before build |
/debug |
repro + hypothesis before fix |
/ultradeep |
marathon · max tools · per-file gate |
/verify |
proof → claim_done |
Security
- Secret values never returned over MCP (names only)
- Prefer
shell=Falseverify/soak - Network scrape/browser are explicit invocations
License
MIT © 2026 GODKILLER Team — LICENSE
推荐服务器
Baidu Map
百度地图核心API现已全面兼容MCP协议,是国内首家兼容MCP协议的地图服务商。
Playwright MCP Server
一个模型上下文协议服务器,它使大型语言模型能够通过结构化的可访问性快照与网页进行交互,而无需视觉模型或屏幕截图。
Magic Component Platform (MCP)
一个由人工智能驱动的工具,可以从自然语言描述生成现代化的用户界面组件,并与流行的集成开发环境(IDE)集成,从而简化用户界面开发流程。
Audiense Insights MCP Server
通过模型上下文协议启用与 Audiense Insights 账户的交互,从而促进营销洞察和受众数据的提取和分析,包括人口统计信息、行为和影响者互动。
VeyraX
一个单一的 MCP 工具,连接你所有喜爱的工具:Gmail、日历以及其他 40 多个工具。
graphlit-mcp-server
模型上下文协议 (MCP) 服务器实现了 MCP 客户端与 Graphlit 服务之间的集成。 除了网络爬取之外,还可以将任何内容(从 Slack 到 Gmail 再到播客订阅源)导入到 Graphlit 项目中,然后从 MCP 客户端检索相关内容。
Kagi MCP Server
一个 MCP 服务器,集成了 Kagi 搜索功能和 Claude AI,使 Claude 能够在回答需要最新信息的问题时执行实时网络搜索。
e2b-mcp-server
使用 MCP 通过 e2b 运行代码。
Neon MCP Server
用于与 Neon 管理 API 和数据库交互的 MCP 服务器
Exa MCP Server
模型上下文协议(MCP)服务器允许像 Claude 这样的 AI 助手使用 Exa AI 搜索 API 进行网络搜索。这种设置允许 AI 模型以安全和受控的方式获取实时的网络信息。