Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Description from the maker (original English)
Policy-gated agent spend with signed receipts and rail-extract audit
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.
CEDULON_STATE_PATH, CEDULON_MAX_AMOUNT, CEDULON_MAX_CUMULATIVE, CEDULON_MAX_PAYMENTSYou 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": {
"cedulon": {
"command": "npx",
"args": [
"-y",
"@cedulon/mcp-server"
],
"env": {
"CEDULON_STATE_PATH": "your-value",
"CEDULON_MAX_AMOUNT": "your-value",
"CEDULON_MAX_CUMULATIVE": "your-value",
"CEDULON_MAX_PAYMENTS": "your-value"
}
}
}
}Run this in your terminal
claude mcp add cedulon --env CEDULON_STATE_PATH=your-value --env CEDULON_MAX_AMOUNT=your-value --env CEDULON_MAX_CUMULATIVE=your-value --env CEDULON_MAX_PAYMENTS=your-value -- npx -y @cedulon/mcp-serverFill in the empty values before running it.
Paste into .cursor/mcp.json in your project, or ~/.cursor/mcp.json
{
"mcpServers": {
"cedulon": {
"command": "npx",
"args": [
"-y",
"@cedulon/mcp-server"
],
"env": {
"CEDULON_STATE_PATH": "your-value",
"CEDULON_MAX_AMOUNT": "your-value",
"CEDULON_MAX_CUMULATIVE": "your-value",
"CEDULON_MAX_PAYMENTS": "your-value"
}
}
}
}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": {
"cedulon": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@cedulon/mcp-server"
],
"env": {
"CEDULON_STATE_PATH": "your-value",
"CEDULON_MAX_AMOUNT": "your-value",
"CEDULON_MAX_CUMULATIVE": "your-value",
"CEDULON_MAX_PAYMENTS": "your-value"
}
}
}
}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.
CEDULON_STATE_PATH envCEDULON_MAX_AMOUNT envCEDULON_MAX_CUMULATIVE envCEDULON_MAX_PAYMENTS envThese 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 8, 2026
The registry name was verified with the GitHub account dogrucanemek-alt, 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.17.0) reached the registry 8 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, alalanet — check before you pay
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.
Check packages, MCP servers and x402 endpoints before agents install or pay. Signed.
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.
@cedulon/mcp-serverLocal stdio MCP server. Thin wrappers over @cedulon/core, @cedulon/x402-adapter, @cedulon/audit, and @cedulon/receipts. The only non-workspace runtime dependency is the official MCP SDK.
Core packages still carry zero runtime dependencies. This package depends only on those workspace packages plus @modelcontextprotocol/sdk.
| Name | What it does |
|---|---|
cedulon_spend | Policy-gated spend. Args: amount, currency, payee, nonce, tool. Allow → signed receipt JSON. Deny → { ok: false, reason }. |
cedulon_audit | Reconcile the receipt chain against the rail extract: the in-process ledger, or a signed extract you present as extract. Optional extraSettlements injects extract rows (bypass demo; refused beside extract). The result carries scope when it ran over a presented extract, and counts, the class every receipt and row landed in. |
cedulon_verify_receipt | Verify receipt COSE bytes (receipt object or coseHex + publicKeyPem). Checks countersignature when present. |
cedulon_export_ledger | Receipts + checkpoint + extract in the demo:export JSON shape, with the findings, guarantee and counts of the audit over this server's own ledger. |
cedulon_status | Version, policy summary, receipt count, chain head. |
The binary is cedulon-mcp (compiled JavaScript, no --experimental-strip-types). From this repository, after npm run build:packages:
node packages/mcp-server/dist/index.js
From the published package, without a clone:
npx -y @cedulon/mcp-server
npx cedulon-mcp is the same binary from a packed or already-installed copy. The server is also listed in the MCP Registry as io.github.dogrucanemek-alt/cedulon.
From the repository source tree (development):
npm run mcp
Claude Desktop / Claude Code / Cursor (mcpServers), after the package is installed:
{
"mcpServers": { "cedulon": { "command": "npx", "args": ["-y", "@cedulon/mcp-server"] } } }
In-process by default. Set CEDULON_STATE_PATH to a JSON file to persist receipts, checkpoints, extract rows, and demo keys across process restarts. Do not commit that file.
Policy knobs (demo defaults in parentheses):
CEDULON_MAX_AMOUNT (10)CEDULON_MAX_CUMULATIVE (30)CEDULON_MAX_PAYMENTS (3)CEDULON_WINDOW_MS (3600000)CEDULON_ALLOWED_PAYEES (payee-1; * clears the list)CEDULON_ALLOWED_CURRENCIES (USD; * clears the list)CEDULON_ALLOWED_TOOLSCEDULON_PAYER (payer-1)The rail is the in-process mock. No wallet, no RPC, no network.
https://cedulon.com/privacy.html
The short version, which that page states at length. This server runs on your machine and speaks to your client over stdio. It makes no network requests: this package and the six packages it depends on contain no HTTP client, no socket, and no telemetry, and the only dependency outside the project is the official Model Context Protocol SDK. It collects nothing, because there is no endpoint of ours to collect it.
While it runs it holds, in memory, the spend requests of the session (amount, currency, payee, nonce, calling tool name), the receipts derived from them, the checkpoint, and your policy limits. It writes nothing to disk unless you set CEDULON_STATE_PATH, in which case that ledger is written as JSON to the path you chose, on your machine. No analytics, no crash reporting, no update check, no third-party sharing.
Privacy questions and security reports: .