Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
Local practice gym for AI agents on real apps: practice Excalidraw tasks, get a reproducible score.
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": {
"practonaut": {
"command": "npx",
"args": [
"-y",
"practonaut",
"mcp",
"--task",
"excalidraw/connect"
]
}
}
}Run this in your terminal
claude mcp add practonaut -- npx -y practonaut mcp --task excalidraw/connectPaste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"practonaut": {
"command": "npx",
"args": [
"-y",
"practonaut",
"mcp",
"--task",
"excalidraw/connect"
]
}
}
}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": {
"practonaut": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"practonaut",
"mcp",
"--task",
"excalidraw/connect"
]
}
}
}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 6, 2026
The registry name was verified with the GitHub account godarg, 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.2.0) reached the registry 21 days ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. You also need Node.js on your computer.
In the same category: Spec Driven Development, Remote Desktop Commander, Recta
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.
Cheaper cross-chain stablecoin routes for AI agents; 5 % of the verified saving, nothing if none.
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.
A local practice gym for AI agents on real apps. Demonstrate a task once, let any MCP agent practise it, and get an independent, reproducible score — one npx command, no VM, no Docker.
Practonaut turns a real application — today Excalidraw — into a practice environment. A task is a start drawing plus a goal. You, or an agent over MCP, change the diagram one action at a time; each action is applied to a real, pinned Excalidraw engine and read back before it counts. When the attempt ends, a separate checker decides whether the goal is met. People and agents work on the same session at the same time, so you can watch an agent in your browser: the history marks each change as yours or as the agent's (*Agent · claude-code*).
Requires Node.js 22.18 or newer (macOS, Linux or Windows).
npx practonaut # opens the example task in your browser at once
npx practonaut setup # once: the Chromium headless shell for the real Excalidraw engine (about 105–130 MB)
Watch a demonstration in the Player solves the example task once: actions land on the board, the real Excalidraw confirms each one, and the result check judges the end. It is never your result; Stop or Escape ends it. Before setup everything works model-only: actions are not confirmed in the real app, and a banner says so and names the download.
Let an agent practise (Claude Code shown; any MCP client works):
claude mcp add practonaut -- npx -y practonaut mcp --task excalidraw/connect
On native Windows (not WSL) npx is a .cmd file that an MCP client cannot start directly; add cmd /c in front: claude mcp add practonaut -- cmd /c npx -y practonaut mcp --task excalidraw/connect.
Score it on a task, with a fresh session per run and an independent check:
npx practonaut bench --agent claude-code --tasks excalidraw/connect
More in getting started.
Draw the start and the goal in Excalidraw, then:
npx practonaut tasks from-scenes start.excalidraw goal.excalidraw --out my-task
npx practonaut play my-task/world
The difference becomes the goal (steps, labels, shapes, colours, frames, groups, arrows). Practonaut only writes the task if the goal passes its own check, the start fails, a generated reference solution passes and generated near misses fail. The same works in the Player under Create, where you can also record a demonstration in the real editor and have the rule confirmed by a second recording. See the authoring guide.
npx practonaut bench --agent oracle --tasks all --seeds 2 # reference solutions: the score's ceiling
npx practonaut bench --agent random --tasks all --max-actions 30 # random actions: the floor npx practonaut bench --agent claude-code --tasks excalidraw/insert-between --repeats 3 npx practonaut bench --agent "my-agent --mcp {mcp_config} --prompt {prompt}" # any agent npx practonaut bench --agent claude-code --world my-task/world --oracle my-task/oracle.json # your own task npx practonaut report ~/.practonaut/bench/ /report.json --html report.html npx practonaut report ~/.practonaut/bench/ /report.json --verify # re-judge from the run files npx practonaut compare before/report.json after/report.json --fail-on-regression # did a change break an instance? npx practonaut report ~/.practonaut/bench/ /report.json --junit runs.xml --card card --badge badge.svg
Each run gets its own session and data folder; the agent reaches the session only through the Practonaut MCP tools and gets the same public task a person gets. The claude-code preset does not pass provider keys, tokens or billing switches from your environment to Claude Code (a set ANTHROPIC_API_KEY would silently switch it to API billing), so Claude Code uses the login it has — your subscription, if you logged in with one; --keep-env ANTHROPIC_API_KEY passes a key on purpose. Scores come from the host's history and a separate checker, never from what the agent says: pass@1, pass^k, actions, efficiency against the reference solution. The JSON report has a schema. report checks that every pass and every number follows from the verdicts in the file — consistency, not proof: a file edited consistently still passes, and report says "consistency-checked, not re-verified". report --verify re-runs the checker on the session and the real-app export kept in the bench folder, whose SHA-256 the report records, against the world and reference solutions stored in that folder (so a moved folder still verifies), re-derives each run's actions and reference length, and refuses any difference by name; host calls and times are marked as reported by the runner. Nothing is signed: whoever can write the bench folder can replace those files too.
A report says why a run failed, not only that it did: rates as fractions with a 95 % interval, failed runs first, each unmet goal condition with the action after which it was last lost (judged by the checker after every action), error classes with their explanation, the trajectory, the final board — the real Excalidraw's own export, or a schematic labelled as such — beside an example target, the call log and the tokens, turns and cost the client reports about itself. compare puts two reports side by side instance by instance: it refuses reports that are not comparable, names instance regressions (three repeats a side, all passed before, all failed after) and says "not distinguishable at this n" when an exact McNemar test cannot tell the two apart. Both reports must come from the same kind of agent: oracle and random mark the ends of the score and compare only with a built-in, a command template only with a command template; as the baseline for your agent, bench a configuration of it that you trust.
In CI, examples/ci/practonaut-bench.yml benches your agent with your own credentials and fails the job on an instance regression against a committed baseline; --junit gives CI test views one test case per run. --card and --badge draw the header line as a 1280 × 640 card (SVG and PNG, light and dark) and a badge, with n, the interval, the verification status and the isolation level on them.
The example report is a real run of Claude Code on three tasks, two repeats each (JSON, HTML) — one seed, six runs: it shows the format, it does not rank a model. Details: benchmarks.
Library, not a challenge tier. These tasks are an example set and a shared smoke test, not a measure of ability: current Claude models solve them, and five harder candidate families found no headroom on Practonaut's own actions in 0.2.0 (gate reports). A family becomes a challenge tier only after it passes a preregistered ladder gate.
16 tasks for Excalidraw 0.18.1, each in English and German with three label variants, a reference solution and near misses. List them with npx practonaut tasks list; open one with npx practonaut play ; address them as excalidraw/ in mcp and bench.
| Task | Level | Reference actions | Goal |
|---|---|---|---|
add-step | ●○○ | 1 | Add a step |
connect | ●○○ | 1 | Connect two steps |
disconnect | ●○○ | 1 | Remove a shortcut arrow |
recolor | ●○○ | 1 | Mark the error step |
remove-step | ●○○ | 1 | Remove a step |
rename-frame | ●○○ | 1 | Name the frame |
rename-step | ●○○ | 1 | Fix a label |
align | ●●○ | 3 | Align a row |
close-chain | ●●○ | 1 | Close the gap in a chain |
group | ●●○ | 2 | Group a sub-process |
insert-between | ●●○ | 4 | Insert a step between two others |
reconnect | ●●○ | 1 | Rewire an arrow |
reorder | ●●○ | 4 | Put the steps in order |
decision | ●●● | 6 | Build a decision with two exits |
restyle-flow | ●●● | 6 | Turn a list into a styled flow |
two-frames | ●●● | 4 | Sort two sub-processes into frames |
An agent gets the same task and the same public goal conditions as a person in the Player — one sentence per condition plus its formal form, which is the goal predicate written out — and the same Check button. It acts through Practonaut's semantic actions over MCP, not through the GUI. The reference solution, the near misses and held-out checker data never reach it over MCP.
claude-code preset allows only Practonaut's tools; for other agents that is up to you.npx practonaut setup downloads Playwright's Chromium headless shell once for the real engine. Nothing is downloaded on install; the package has no install script.~/.practonaut (or PRACTONAUT_HOME). No telemetry, no account. Practonaut's own process makes no network calls while practiOnly the beginning is shown; read the rest in the repo