Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者提供的说明(英文原文)
Local practice gym for AI agents on real apps: practice Excalidraw tasks, get a reproducible score.
这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
选择你使用的 AI 应用,然后复制设置。
你需要
你用的是哪个应用?
在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。
打开 Claude Desktop → Settings → Developer → Edit Config,把下面的内容粘贴到 claude_desktop_config.json
{
"mcpServers": {
"practonaut": {
"command": "npx",
"args": [
"-y",
"practonaut",
"mcp",
"--task",
"excalidraw/connect"
]
}
}
}在终端中运行这条命令
claude mcp add practonaut -- npx -y practonaut mcp --task excalidraw/connect粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json
{
"mcpServers": {
"practonaut": {
"command": "npx",
"args": [
"-y",
"practonaut",
"mcp",
"--task",
"excalidraw/connect"
]
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
粘贴到项目中的 .vscode/mcp.json
{
"servers": {
"practonaut": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"practonaut",
"mcp",
"--task",
"excalidraw/connect"
]
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
这个服务器在你的电脑上运行,而 ChatGPT 只能连接互联网上的服务器。请选择其他应用。
你的选择通过 Cookie 保存在这台设备上,无需账户。
这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。
它在你的电脑上运行;安装后,工具列表会显示在你的 AI 应用中。
我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月6日
注册名称已通过 GitHub 账户 godarg 验证,该账户拥有此仓库
我们还没有从 GitHub 读取这个仓库
我们还没有从 GitHub 读取这个仓库
它在你的电脑上运行,没有互联网端点
在你的电脑上运行,改用本地设置
它在你的电脑上运行;我们只能读取互联网端点的工具列表
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。
它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。
注册中心没有列出必需的密钥,不过有些服务器会在首次使用时要求你登录。
它在你的电脑上运行。你的 AI 应用会在需要时启动它,数据不会经过作者的服务器(除非它自己调用在线服务)。
GitHub 仓库最后更新于–,最新版本(0.2.0)于21天前进入注册中心。
支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。你的电脑上还需要有 Node.js。
同一分类中有:Spec Driven Development, Remote Desktop Commander, dotnet-mcp
同一分类中其他作者的服务器,按星标数排序。
如何看卡片:★ GitHub 星标i三大支柱:评价 · 检查 · 使用情况i更新 = 最新版本发布到注册中心的时间i
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.
MCP server for .NET symbols, XAML, source generators, and restricted workspace edit
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
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 practi只显示了开头部分;其余内容请在仓库中阅读