Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
Control plane MCP that dedups scanner output, rate-limits hosts, and runs non-destructive proofs.
These three are never merged into one score: opinions, measurements and popularity are different things.
We have not written a plain-language summary for this one yet. Below are the facts we read from the registry.
Pick the AI app you use, then copy the settings.
You need
Which app do you use?
Pick your app above. We remember it, so next time the button says “Install in …”.
Open Claude Desktop → Settings → Developer → Edit Config, and paste this into claude_desktop_config.json
{
"mcpServers": {
"keel": {
"command": "uvx",
"args": [
"keel-pentest"
]
}
}
}Run this in your terminal
claude mcp add keel -- uvx keel-pentestPaste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"keel": {
"command": "uvx",
"args": [
"keel-pentest"
]
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
Paste into .vscode/mcp.json in your project
{
"servers": {
"keel": {
"type": "stdio",
"command": "uvx",
"args": [
"keel-pentest"
]
}
}
}Your browser asks to open the app, then the app shows the settings and asks you to confirm. Key values are left empty for you to fill in.
This one runs on your computer, and ChatGPT can only connect to servers on the internet. Pick another app.
Your choice stays on this device in a cookie; no account needed.
These settings are generated from the maker’s registry entry. If the README says otherwise, follow the README.
Runs on your computer; the tool list appears in your AI app after you install it.
We check information anyone can see; we have not read the code. Checks that do not apply are left out of the count. · Checked Nov 7, 2026
The registry name was verified with the GitHub account lutfizp, which owns the repo
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
This one runs on your computer; there is no internet endpoint
Runs on your computer and uses local settings instead
Runs on your computer; we can only read tool lists from internet endpoints
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 1 of 1 applicable basic checks. We have not read the code. Before adding a key or token, see what access the server asks for and use a key with only the permissions you need.
The registry does not list a required key, though some servers ask you to sign in on first use.
It runs on your computer. Your AI app starts it when needed, and data does not pass through the maker’s servers (unless it calls an online service itself).
The GitHub repo last changed –, and the latest version (0.3.0) reached the registry 2 months ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. You also need Python (uv) on your computer.
In the same category: Spec Driven Development, Remote Desktop Commander, Kanal Varna — drains, leaks & plumbing (Varna, BG)
Servers in the same category from other makers, sorted by stars.
Reading a card:★ GitHub starsiThree pillars: reviews · checks · usageiUpdated = latest version published to the registryi
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Drain unblocking, leak detection & plumbing in Varna, Bulgaria: services, prices, areas, contact
Copied from the maker’s repo as written. PopNx MCP has not reviewed or endorsed it. HTML, images and scripts are removed. Links lead off this site.
Thirteen MCP tools. Semantic dedup. Per-host rate limits. Safe proofs that show what a hunter can do — without damaging the target.
Why Keel · Install · Clients · Proofs · Tools
Dumping 150 tools on an agent is easy. The hard problems are dedup across tools, exploitable vs noise, and not hammering the target. Keel is the control plane for those three.
An AI client talks to Keel, not to httpx, nuclei, or a shell. Keel drafts one wave at a time, enforces scope and rate limits, merges scanner hits into semantic cards, and runs GET-only playbooks on tester-owned data. When a playbook returns proven, you get a curl replay a hunter can follow — still without writes, shells, or payload spam.
Use it on programs you are authorized to test.
| Hard problem | What scanner dumps do | What Keel does |
|---|---|---|
| Dedup across tools | One Nuclei template id per row; the same IDOR appears five times | Semantic key from vulnerability class + normalized route + method + parameter. UUID/id/hex tokens collapse. Compatible observations merge. |
| Exploitable vs noise | High severity = "ship it" | Cards move through observed → hypothesis → corroborated → proven / refuted. Informational and hardening stay hidden. Typed exploitability names the missing evidence and the negative control. |
| Not hammering the target | Fire every template at once, retry on 429 | One active wave per host, token buckets, Nuclei concurrency 1, no OAST, no redirects, no unsigned templates, no dos/fuzz/bruteforce/intrusive tags. HTTP 429 becomes a cooldown. |
A wrapper that shells out to a huge toolbox does not have that layer. Keel does — in the scheduler, in the adapters, and in the proof broker.
flowchart TD
A[AI coding client] -->|stdio MCP| B[Keel] B --> C[Scope and rate gate] C --> W[Background job and wave scheduler] W --> H[httpx: one target] W --> N[nuclei: HTTP templates, bounded] C --> P[Proof broker: GET only] P --> T[Tester-owned resource] H --> S[Semantic card store] N --> S P --> S S --> Q[Triage and evidence states]
begin_engagement with the hostname you are authorized to test.draft_waves proposes reachability plus template micro-waves. No traffic yet.execute_wave returns a job immediately. Poll wave_status. cancel_wave kills the scanner.query_cards returns hunter-relevant cards. assess_exploitability says what would prove it.draft_proof then execute_proof run a GET-only playbook against tester data. proven means the invariant held. protected means the control worked.macOS (Homebrew). pipx is a separate tool — install it first. Apple's /usr/bin/python3 is often 3.9 and cannot install Keel.
brew install pipx python@3.12
pipx ensurepath
pipx install keel-pentest keel-pentest setup keel-pentest doctor
If python3.12 is already on the machine and you do not want Homebrew pipx:
python3.12 -m pip install --user pipx
python3.12 -m pipx ensurepath python3.12 -m pipx install keel-pentest
setup downloads ProjectDiscovery httpx and nuclei into ~/.keel/bin. Keel finds them there even when a GUI client has a thin PATH. No extra KEEL_HTTPX_BIN for a first scan.
Then point your MCP client at the keel-pentest executable:
claude mcp add --scope user --transport stdio keel -- keel-pentest
codex mcp add keel -- keel-pentest hermes mcp add keel --command keel-pentest
OpenCode: "command": ["keel-pentest"].
Python 3.10+. Do not pip install keel — that is a different project. OS notes and pip/venv: INSTALL.md. Client shapes: clients/README.md.
Optional later: KEEL_APPROVAL_FILE for a team manifest that pins scope, template IDs, and proof targets. Default mode is self-attested — begin_engagement is the authorization. Rate limits, one-wave-per-host, signed templates, and sanitized evidence still apply.
Scanner output is a hypothesis. Keel proves (or refutes) it with disposable tester accounts and a unique canary. Every playbook is GET-only, budgeted, and returns a curl replay. The replay is the report artifact: *if this is not fixed, a hunter with a normal account can do this*.
| Playbook | Proves | How, without damage |
|---|---|---|
cross_account_read | IDOR / BOLA | Tester A reads its canary; tester B GETs the same A-owned URL. Identical canary + 2xx = proven. 401/403/404 or 2xx without the canary = protected (refuted). |
reflected_marker | Reflected XSS / HTML injection | Inject a unique marker plus a harmless probe. Unescaped reflection = proven. HTML-encoded reflection = protected. Control GET must not already contain the probe. |
open_redirect_canary | Open redirect | Point the redirect parameter at https://keel-proof.invalid/ . A 3xx whose Location host is that canary = proven. |
unauth_access_probe | Missing authZ | Tester A baseline must show the canary; the same URL with no credentials must not. 2xx + canary unauthenticated = proven. |
own_session_marker | Reachability only | A reads its own canary. This is corroborated, never vulnerability proof. |
execute_proof stores status codes, canary booleans, truncation flags, hashes, hunter impact text, and the repro script. It does not persist response bodies or secrets.
Plant a non-secret canary in a tester-owned object before cross_account_read / unauth_access_probe. Reflected XSS and open redirect inject the marker themselves.
| Tool | Role |
|---|---|
begin_engagement | Register scope and traffic ceilings |
draft_waves | Propose reachability + template micro-waves; no traffic |
execute_wave | Queue one background job |
wave_status | Stage, progress, result; omit job_id to list |
cancel_wave | Stop a queued or running scanner |
query_cards | Prioritized semantic cards |
second_look | Re-run only the originating Nuclei template |
assess_exploitability | Candidate impact, missing evidence, negative control, playbooks |
state_impact | Record a hunter hypothesis |
draft_proof | Allowlisted proof plan; no traffic |
execute_proof | Run the GET-only playbook |
engagement_health | Cooldowns, budgets, pending waves |
engagement_audit | Append-only application events |
begin_engagement needs engagement_id and scope_hosts (plain hostnames, e.g. target.example). Defaults: 3 req/s, one host at a time, 120s / 120 requests per wave. allow_safe_proof=true enables proofs. Pass tester credential *names* only; put secrets in KEEL_CREDENTIALS_FILE.
Use only Keel MCP tools. Do not shell out to httpx, nuclei, curl, or exploit tools.
keel-pentest doctor
keel-pentest setup # if doctor reports missing httpx/nuclei
begin_engagement after a client restart restores the SQLite engagement. If you changed scope, use a new engagement_id.
Proofs need allow_safe_proof=true and, for session playbooks, KEEL_CREDENTIALS_FILE mapping names like tester-a to Authorization or Cookie.
##
MIT. Copyright (c) 2026 Lutfi Z.P.
PyPI: keel-pentest. MCP Registry: io.github.lutfizp/keel. Source: github.com/lutfizp/keel.
##