Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
Policy-gated agent spend with signed receipts and rail-extract audit
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
CEDULON_STATE_PATH, CEDULON_MAX_AMOUNT, CEDULON_MAX_CUMULATIVE, CEDULON_MAX_PAYMENTS必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
Claude Desktop → Settings → Developer → Edit Config を開き、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"
}
}
}
}ターミナルでこれを実行します
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-server動かす前に、空欄の値を入力してください。
プロジェクトの .cursor/mcp.json、または ~/.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"
}
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"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"
}
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
CEDULON_STATE_PATH envCEDULON_MAX_AMOUNT envCEDULON_MAX_CUMULATIVE envCEDULON_MAX_PAYMENTS envこの設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月8日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント dogrucanemek-alt で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(0.17.0)がレジストリに届いたのは7 日前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにNode.jsも必要です。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, MyGroceryPal
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ GitHubスターi3つの柱:レビュー · チェック · 利用状況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.
UK supermarket prices: compare products and baskets across 13 stores, see price history, set alerts.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
@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: .