Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Descripción del creador (original en inglés)
Policy-gated agent spend with signed receipts and rail-extract audit
Estos tres nunca se combinan en una sola puntuación: las opiniones, las mediciones y la popularidad son cosas distintas.
Todavía no escribimos un resumen sencillo para este. Abajo están los datos que leímos del registro.
Elige la app de IA que usas y copia la configuración.
CEDULON_STATE_PATH, CEDULON_MAX_AMOUNT, CEDULON_MAX_CUMULATIVE, CEDULON_MAX_PAYMENTSNecesitas
¿Qué app usas?
Elige tu app arriba. La recordamos, así que la próxima vez el botón dirá “Instalar en …”.
Abre Claude Desktop → Settings → Developer → Edit Config y pega esto en 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"
}
}
}
}Ejecuta esto en tu 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-serverCompleta los valores vacíos antes de ejecutarlo.
Pégalo en .cursor/mcp.json de tu proyecto, o en ~/.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"
}
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Pégalo en .vscode/mcp.json de tu proyecto
{
"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"
}
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Este se ejecuta en tu computadora, y ChatGPT solo puede conectarse a servidores en internet. Elige otra app.
Tu elección se guarda en una cookie en este dispositivo; no necesitas cuenta.
CEDULON_STATE_PATH envCEDULON_MAX_AMOUNT envCEDULON_MAX_CUMULATIVE envCEDULON_MAX_PAYMENTS envEsta configuración se genera a partir de la ficha del creador en el registro. Si el README dice otra cosa, sigue el README.
Se ejecuta en tu computadora; la lista de herramientas aparece en tu app de IA después de instalarlo.
Revisamos información que cualquiera puede ver; no hemos leído el código. Las revisiones que no aplican no se cuentan. · Revisado el 8 nov 2026
El nombre en el registro se verificó con la cuenta de GitHub dogrucanemek-alt, dueña del repo
Todavía no hemos leído este repo en GitHub
Todavía no hemos leído este repo en GitHub
Este se ejecuta en tu computadora; no hay endpoint en internet
Se ejecuta en tu computadora y usa ajustes locales en su lugar
Se ejecuta en tu computadora; solo podemos leer listas de herramientas de endpoints en internet
Comparado con todos los servidores activos de esta categoría en el registro. Las estrellas solo cuentan cuando quien lo publica es dueño del repo.
Superó 1 de 1 revisiones básicas aplicables. No hemos leído el código. Antes de agregar una clave o un token, revisa qué acceso pide el servidor y usa una clave que tenga solo los permisos que necesitas.
El registro no indica ninguna clave obligatoria, aunque algunos servidores te piden iniciar sesión la primera vez que los usas.
Se ejecuta en tu computadora. Tu app de IA lo inicia cuando hace falta, y los datos no pasan por los servidores del creador (a menos que el propio servidor llame a un servicio en línea).
El repo de GitHub cambió por última vez –, y la última versión (0.17.0) llegó al registro hace 7 días.
Las apps compatibles con MCP, como Claude Desktop, Claude Code, Cursor y VS Code. También necesitas Node.js en tu computadora.
En la misma categoría: Spec Driven Development, Remote Desktop Commander, Filesystem MCP
Servidores de la misma categoría hechos por otros creadores, ordenados por estrellas.
Cómo leer una tarjeta:★ Estrellas de GitHubiTres pilares: reseñas · revisiones · usoiActualizado = fecha en que se publicó la última versión en el registroi
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.
Filesystem MCP server for AI assistants.
Copiado tal cual del repo del creador. PopNx MCP no lo ha revisado ni lo respalda. Se quitaron HTML, imágenes y scripts. Los enlaces llevan fuera de este sitio.
@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: .