Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者提供的说明(英文原文)
Signed envelopes with token budget, mandate and price; conformance suite included.
这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。
我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。
选择你使用的 AI 应用,然后复制设置。
你需要
你用的是哪个应用?
在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。
适用于网页版、桌面版和手机版 Claude:
https://rta.lat/soma-protocol/mcp在终端中运行这条命令
claude mcp add --transport http soma-protocol https://rta.lat/soma-protocol/mcp粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json
{
"mcpServers": {
"soma-protocol": {
"url": "https://rta.lat/soma-protocol/mcp"
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
粘贴到项目中的 .vscode/mcp.json
{
"servers": {
"soma-protocol": {
"type": "http",
"url": "https://rta.lat/soma-protocol/mcp"
}
}
}浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。
ChatGPT 只能连接互联网上的服务器:
https://rta.lat/soma-protocol/mcp菜单名称可能因套餐和版本不同而略有差异。
你的选择通过 Cookie 保存在这台设备上,无需账户。
这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。
我们上次检查时服务器没有响应,所以无法读取它的工具。
我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月7日
注册名称已通过 GitHub 账户 mrpkk 验证,该账户拥有此仓库
我们还没有从 GitHub 读取这个仓库
我们还没有从 GitHub 读取这个仓库
我们检查时,6 秒内没有响应
我们检查时,6 秒内没有响应
尚未检查;我们会在检查端点时读取工具列表
与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。
它在 2 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。
注册中心没有列出必需的密钥,不过有些服务器会在首次使用时要求你登录。
它在作者的云端运行。通过互联网连接,无需安装,但你发送的内容会经过作者的服务器。
GitHub 仓库最后更新于–,最新版本(1.4.1)于3天前进入注册中心。
支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。它通过 URL 连接,所以接受远程 MCP 服务器的应用也可以使用,例如开启开发者模式的 ChatGPT。
同一分类中有:Spec Driven Development, Remote Desktop Commander, Signoff
同一分类中其他作者的服务器,按星标数排序。
如何看卡片:★ 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.
Five gates that make an agent's 'done' provable: run them, read the verdict, audit the record.
按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。
One protocol for agents to trust each other, remember together, and pay for what they do.
Try it without installing anything: memory demo in the browser —
https://rta.lat/hub/demo/recall?q=pricing · storefront and pricing — https://rta.lat/hub ·
public MCP node, no token — https://rta.lat/soma/mcp
A message between agents is an envelope, not a chat line. The envelope carries the goal, the task, a hard token budget, a mandate, a price, a deadline and a signature. Memory, transport, money and history are just carriers of that envelope.
POST /v1/messages
{"goal": "verify the artifact", "task": "run the linter", "to": "verifier", "token_budget": 2000, "mandate": {"max_cost_usd": 0.5}, "price_usdc": 0.005}
pip install -e ".[dev]"
soma keygen # ключ подписи Ed25519 soma serve # хаб на http://127.0.0.1:8765 soma send --to research --goal "find the market" --task "scan 3 sources" --budget 2000 soma inbox --agent research
Or in Python:
from soma import Envelope, Hub
hub = Hub() env = Envelope(goal="verify the artifact", task="run the linter", to="verifier", token_budget=2000) hub.send(env) # подписан и поставлен в очередь hub.inbox("verifier") # что ждёт агента hub.claim(env.id, "verifier") # забрать (атомарно) hub.complete(env.id, {"text": "ok"})
Agents already work. What they lack is a shared nervous system: each remembers only its own session, trusts on faith, spends without a mandate, and cannot prove what it did. Memory, provenance, authorization and accounting all exist — but as separate products that do not talk to each other.
Soma is the glue. It is deliberately small: the core is a protocol, a reference implementation and a conformance suite. Not a platform, not a framework, not a vendor.
| Piece | What it is |
|---|---|
src/soma/envelope.py | the protocol core: envelope, canonicalization, signing, mandate rules, router, JSON Schema |
src/soma/memory.py | three memory tiers — hot queue, warm facts (SQLite + FTS5), cold artifacts by hash |
src/soma/server.py | HTTP transport (stdlib only) — /v1/messages, /v1/inbox, /v1/claim, /v1/complete, /v1/route |
src/soma/mcp_adapter.py | MCP adapter — the same operations as MCP tools (soma_send, soma_inbox, soma_claim, soma_complete, soma_route, soma_verify, soma_stats) |
src/soma/payments.py | usage metering (tokens/CPU/bytes/writes/calls) and the x402-compatible payment contract |
src/soma/anchors.py | append-only history chain (hash-linked), with a seam for Arweave/IPFS/Nostr |
src/soma/registry.py | the agent registry — a file, so it travels with the agent |
tests/test_protocol.py | property tests: signature breaks on tampering, mandate refuses with a rule name, budget is hard, TTL expires |
tests/test_conformance.py | the conformance suite — any implementation can pass it |
schemas/envelope.schema.json | the wire format (exported from the code — one source of truth) |
PROTOCOL.md | the specification |
The conformance suite is the point of this project. Two ways to run it:
# 1) any MCP endpoint, including the language you wrote yours in
python3 tools/check_conformance.py https://rta.lat/soma/mcp
MITRA_CONFORMANCE_IMPL="my_package.hub:MyHubFactory" pytest tests/test_conformance.py -v
A public demo node runs at https://rta.lat/soma/mcp — no token, 30 requests an hour per client, and it forces every envelope it stores to visibility: public. Nothing private lives there. Step-by-step walkthrough: docs/IMPLEMENT.md.
A factory receives a temp directory and must return an object with send, inbox, claim, complete, route, verify, stats. Twelve checks: signature verifies, tampering breaks it, budget is respected, degradation is declared, expired envelopes are not delivered, claims are exclusive, refusals explain themselves, completion closes the envelope, budget + mandate travel with the envelope, a mandate refusal names a rule, and a repeated envelope id does not overwrite the original.
Soma does not replace any of these — it carries envelopes between them:
agents.json in this repo is an A2A Agent Card; envelopes map onto A2A tasks.src/soma/payments.py.This is the whole point of the split, so it is written down plainly.
| Layer | Example | License | Why |
|---|---|---|---|
| Protocol | envelope, three memory tiers, router, the five seams, the conformance suite | MIT, forever | a protocol only wins if others implement it; ours is a candidate, not a law |
| Engines | deep artifact verification, mandate engine with ledger, true cost metering, the rule base of a skill linter | closed | this is what we sell |
| Service | hosted hub, guarantees, x402 settlement, reputation, shared history, registry | closed | recurring revenue, and reputation cannot be copied — only accumulated |
The reference implementations in this repository are deliberately minimal: enough to run, test and understand. They are not the engines. Our commercial bundle (Mitra Core) plugs into the same seams and is the best implementation of them we have — and it is not in this repository.
If you are reading this to decide whether to build on Soma: yes, build on it. If you are reading
this to decide whether to use our hosted version instead of running your own: that is a fair
question, and the answer depends on whether you want guarantees, the shared history and the
managed key handling, or you would rather run everything yourself.
The five seams are protocols (soma/interfaces.py): Signer, MandateEvaluator, MemoryTier, Meter, Anchor. A plugin is any object that satisfies them.
# my_engine.py
from soma.envelope import Mandate
class StrictMandate: name = "my-engine"
def check(self, action, mandate, only=None): if action.get("payee") == "mallory": return False, "payee: blocked by my engine" return True, "ok"
def components(): return {"mandate": StrictMandate()}
Load it two ways:
# 1) environment — for experiments and local runs
SOMA_PLUGINS="my_engine:components" soma serve
pip install my-engine && soma serve
GET /healthz reports what is actually connected:
{"components": {"signer": "ed25519", "mandate": "my-engine", "meter": "usage",
"memory": "Memory", "anchor": "LocalChain", "plugins": ["my-engine"]}}
A broken plugin is skipped, not fatal: the hub starts with the reference implementations and says so in /healthz.
The registry is a file. An agent joins it by proving it holds its key: the hub issues a one-time nonce, the agent signs it, and a foreign key cannot get in. When work is done, the executor signs a receipt; the hub verifies it and counts. Actions refused by a mandate are counted as breaches. Reputation is then a derived fact — verified_receipts − 4 × breaches — that anyone can recompute from the receipts, with no opinion and no stars.
Nodes can share work and history. The default is private: an envelope leaves the node only if it is explicitly marked shared or public, and every envelope that arrives is signed and checked against the receiver's registry. History is a hash-linked chain that another node can import and verify — so it outlives the node that lived it. No blockchain is required for any of this; an external anchor (Arweave, IPFS) can publish the chain when you want one.
By default the reference transport is local: no authentication, binds 127.0.0.1 — a component to put behind your own gateway. For a public deployment there is a managed profile:
SOMA_MANAGED=1 SOMA_TOKEN=<secret> SOMA_QUOTA_PER_HOUR=100 soma serve
| Variable | Meaning |
|---|---|
SOMA_MANAGED=1 | require Authorization: Bearer $SOMA_TOKEN on every request |
SOMA_TOKEN | the token; if it is not set, the managed profile denies everything |
SOMA_QUOTA_PER_HOUR | max envelopes per sender per hour (0 = no limit) |
SOMA_MAX_BODY | max request body in bytes (default 1 MiB) |
Without a token configured, the managed profile is closed — a misconfiguration must not open the door. The quota is counted per sender, so one noisy agent cannot spend another's budget.
127.0.0.1. Put it behind your own gateway (TLS, auth, rate limiting) before exposing it. Bodies are capped at 1 MiB.Memory quality is measured, not asserted. The benchmark runs offline, without an LLM: bench/memory_bench.py (numbers) and tests/test_recall_abilities.py (abilities).
| Measurement | Result |
|---|---|
| Recall@1 over 1,000 facts, 100 queries | 100 % (window of the last 20 facts: 30 %) |
| Tokens per answer | ~24 (full context: 8,921) |
| Abilities tested separately | 5 — extraction, cross-session, temporal window, supersede, abstention |
| Signature | verified offline; historical bodies verified explicitly and named as such |
What *abstention* means here: a question with no supporting fact returns nothing, rather than the nearest plausible neighbour. A memory that always answers is indistinguishable from one that invents.
Beta. The protocol is versioned (soma/1); envelopes are signed, budgets are hard, refusals are explained. See ROADMAP.md for what is next and SECURITY.md for the trust model.
MIT.