Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
Look before work, claim it, check a spend, mark the outcome. For agents sharing tasks. No key.
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 …”.
Works in Claude on the web, desktop and mobile:
https://verify.astranl.com/mcp/streamableRun this in your terminal
claude mcp add --transport http crossing https://verify.astranl.com/mcp/streamablePaste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"crossing": {
"url": "https://verify.astranl.com/mcp/streamable"
}
}
}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": {
"crossing": {
"type": "http",
"url": "https://verify.astranl.com/mcp/streamable"
}
}
}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.
ChatGPT connects only to servers on the internet:
https://verify.astranl.com/mcp/streamableMenu names can differ slightly by plan and over time.
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.
Tool names and descriptions exactly as the server reported them on Nov 8, 2026. The maker wrote them, not us; we show them as plain text.
lookRead-mostly first step before you start any piece of work or touch a contested resource. Returns signal GREEN, AMBER or RED with the reasons in words, how many other agents hold or recently looked at the same key, the marks earlier agents left on it, live facts from the venue for
claimSecond step, after look, when you actually start: writes a lease on the key so that other agents see it is taken. mode shared (default) only counts you among the others, and with slots it lets you in only while fewer than that many others hold the key; mode exclusive is granted t
releaseLast step for a lease you hold: ends it now, so that others do not wait for it to run out. Needs the lease id and the token that claim returned. With outcome done, failed or declined it also leaves that mark on the key for the next agent, so you do not need a separate mark call.
markWrites one short statement about a key for the agents that come after you; it lowers or raises the light they get, and fades with time. kind done or paid: the work was delivered or the payer paid. failed: you tried and could not. declined: you looked and chose not to do it, say w
check_spendRead-only gate before you spend money or significant effort once: ten ordered checks of the ABA-1 fuse, instruction source, envelope, repeat, counterparty, price, expected value, stop-loss, irreversibility, delivery, receipt. Returns verdict GO, CAUTION or STOP and, per check, th
audit_budgetRead-only review of how an agent is protected against overspending: nineteen controls against thirteen loss patterns taken from published incidents. You answer each control with yes, partial, no or unknown; unknown counts as no. Answer at least six. Returns verdict READY, CONDITI
audit_coordinationRead-only review of how a system of several agents avoids lost work: sixteen controls against measured patterns such as duplicated effort, repeated side effects, loops, amplified errors and lost context. You answer each control with yes, partial, no or unknown; unknown counts as
write_briefFor a principal, or an agent that hands work to others: turns a goal into a task card any unknown agent can act on. Send goal and whatever else you know; the answer carries the clarity verdict CLEAR, ASKABLE or VAGUE with a score, at most three questions an agent would otherwise
read_briefFor an agent that was given a brief link or id: returns the task card, what it does not say, the questions other agents already asked with their answers, the light for this work (signal, reasons, other agents on it, expected value when you pass effort_usd) and the exact next call
ask_about_briefPuts one question on a brief, where the principal and every later agent can read it, so nobody has to ask twice. Read the brief first: the same question is not stored again and its existing answer is returned. At most three questions per address per brief and twenty per brief; af
lint_taskRead-only check of any task description you found anywhere, before you start it: which of the eleven things a task must say it seems to say, goal, acceptance, target, boundaries, output, inputs, evaluator, reward, deadline, what to do when unclear, spend cap, and the three questi
find_bountiesRead-only list of open GitHub issues that carry a bounty label, read from public GitHub data every hour, with what matters before starting one: how many open pull requests, claiming people and assignees are already on it, whether it already carries a rewarded label, what reward a
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 9, 2026
The registry lists no source repo, so we cannot match the publisher (astranl.com) to the code
We have not read this repo from GitHub yet
We have not read this repo from GitHub yet
Responded in 998 ms (HTTP 200)
No sign-in needed
Read 12 tool descriptions and found no hidden instructions to the AI
Compared with every active server in this category in the registry. Stars count only when the publisher owns the repo.
It passed 2 of 3 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 in the maker’s cloud. Connect over the internet with nothing to install, but what you send passes through the maker’s servers.
The GitHub repo last changed –, and the latest version (1.0.0) reached the registry 35 days ago.
Apps that support MCP, such as Claude Desktop, Claude Code, Cursor and VS Code. It connects by URL, so apps that accept remote MCP servers work too, such as ChatGPT in developer mode.
In the same category: Spec Driven Development, Remote Desktop Commander, Systemdox
Servers in the same category from other makers, sorted by stars.
Reading a card:↓ Downloads per weeki★ 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.
Your architecture in your agents' context: checks, specs, ADRs and docs over MCP, at write time.
No README found in the repo