Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
Cryptographic audit trail for Claude Code workflows — tamper-proof timestamps, IETF TTTPS compliant.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます
{
"mcpServers": {
"openttt-pot": {
"command": "npx",
"args": [
"-y",
"@helm-protocol/ttt-mcp"
]
}
}
}ターミナルでこれを実行します
claude mcp add openttt-pot -- npx -y @helm-protocol/ttt-mcpプロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"openttt-pot": {
"command": "npx",
"args": [
"-y",
"@helm-protocol/ttt-mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"openttt-pot": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@helm-protocol/ttt-mcp"
]
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月6日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント Helm-Protocol で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(0.3.4)がレジストリに届いたのは3 か月前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにNode.jsも必要です。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, Fomu MCP
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ 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.
Kenya government form guides: checklists, draft letters, eCitizen, Huduma, timelines. Sample data.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
Reference implementation of draft-helmprotocol-tttps (IETF Experimental)
Proof-of-Time attestation — Ed25519-signed timestamps with multi-source corroboration and explicit error bounds. IETF draft-helmprotocol-tttps
TTTPS provides cryptographic time-provenance for AI-generated content at the moment of creation. A pot_generate call anchors a tamper-evident timestamp to a cryptographic hash of the content record — independently of any embedded metadata.
C2PA complementarity: C2PA metadata is stripped during recapture, transcoding, and format conversion. TTTPS survives as an external anchor independently verifiable without metadata chain continuity — allowing forensic reconstruction of content provenance even when embedded markers are absent.
GDPR-compatible by design: PoT records contain no content and no personal identifiers. Each record binds a cryptographic hash (SHA-256 + HMAC-SHA256) to a multi-source time attestation. No plaintext content transits or is stored on Helm servers.
IETF specification: draft-helmprotocol-tttps (ISE track). Contact: peter@kenosian.com.
Every Claude Code long-horizon workflow hits the same wall: context compression erases action history.
Agent B has no memory of what Agent A decided. Agent A resumes after compression with no record of its own prior steps. Duplicate work. Lost decisions. State corruption.
ttt-mcp is the external causal chain that survives context compression.
Every workflow step is anchored to a cryptographic timestamp on an external server — physically separate from Claude's context window. When compression happens, agents call pot_query(eventId) for O(1) exact step recall and resume with full causal context.
Claude workflow → [context compressed] → agents call pot_query(eventId)
→ external server returns full timeline → workflow resumes, zero lost state
| Layer | Mechanism | Guarantee |
|---|---|---|
| Identity | SHA-3 eventId (256-bit) | Collision probability 2⁻²⁵⁶ — practically zero |
| Lookup | O(1) exact retrieval | No context consumed by history reconstruction |
| Ordering | TTTPS causal timestamps | Total order on events — tamper-proof sequence proof |
| Causal chain | prevEventId DAG | O(depth) traversal — depth ~100 for 1B-token workflows |
| Non-repudiation | Ed25519 signature | Cryptographic proof of who acted when |
| Resilience | Erasure-coded cryptographic shards | ≥97% recovery at BER=0.05, 99.88% at BER=0.02 (theoretical) |
| Persistence | Redis AOF + 90-day TTL | Server survives context compression and restarts |
claude mcp add ttt -- npx -y @helm-protocol/ttt-mcp@0.4.0
With an API key (raises the free limit to your plan's monthly quota):
claude mcp add ttt -e TTT_API_KEY=your-key -- npx -y @helm-protocol/ttt-mcp@0.4.0
Add to claude_desktop_config.json:
{
"mcpServers": { "ttt": { "command": "npx", "args": ["-y", "@helm-protocol/ttt-mcp@0.4.0"], "env": { "TTT_API_KEY": "your-key" } } } }
One-click install, or add the same mcpServers block above to .cursor/mcp.json.
Free tier: 100 calls/day per IP — no signup needed.
Once connected, run this sequence in Claude:
Step 1 — Stamp a workflow step:
Just tell Claude naturally:
"Stamp this step as my-first-step"
"Record what I just did as refactor-auth-step1"
Claude calls pot_generate automatically. Or call it directly:
pot_generate(eventId: "my-first-step")
Step 2 — Simulate context compression: start a new Claude session
Step 3 — Recover in the new session:
Tell Claude:
"What did I do in my-first-step?"
"Recover my last workflow state"
Or call directly:
pot_query(eventId: "my-first-step")
→ Returns exact record. Amnesia gone.
Step 4 — Build a causal chain:
pot_generate(eventId: "step-2", prevEventId: "my-first-step")
pot_graph(eventId: "step-2", depth: 5)
→ Full backward chain. Cryptographically ordered.
| Tool | Purpose |
|---|---|
pot_generate | Stamp a workflow step with a cryptographic timestamp |
pot_verify | Verify a PoT signature |
pot_generate_v2 | Generate the draft-11 180-octet PoT Record v2 core (canonical wire profile) |
pot_verify_v2 | Verify a v2 record; optional TLS 1.3 exporter binding proof (fails closed without TLS) |
pot_verify_v08 | Verify a draft-08 §3 Payload Digest record |
pot_query | O(1) exact lookup by eventId — core amnesia recovery |
pot_graph | Traverse causal DAG (backward + forward chain) |
pot_checkpoint | Roll up events into a compressed summary — use every ~100 events or before long tasks |
pot_stats | Server statistics and mode status |
pot_health | Health check |
Stamp a workflow step with a cryptographic timestamp. For Claude Code: use eventId + prevEventId. For DeFi: use txHash + chainId + poolAddress. To bind the attestation to a specific piece of content (draft-08 §3 Payload Digest), also supply contentDigest. One of eventId, txHash, or contentDigest is required.
| Parameter | Type | Required | Description |
|---|---|---|---|
| eventId | string | Either/or | Workflow step identifier. E.g. "refactor_auth_step1" |
| prevEventId | string | No | Previous step's eventId — links steps into a causal chain |
| txHash | string | Either/or | Transaction hash (DeFi, hex with 0x prefix) |
| chainId | number | No | EVM chain ID (DeFi) |
| poolAddress | string | No | DEX pool contract address (DeFi) |
| contentDigest | string | Either/or | SHA-256 digest (lowercase hex, 64 chars) of the content this record attests to. Computed by the caller — the server never sees the content. When the local time synthesis meets draft-08's own requirements (≥3 independent sources, a representable error bound), the response includes a spec-conformant potRecordV08 binary record (hex); otherwise potRecordV08Error explains why not. |
| ctxId | string | No | draft-08 §3.3 context identifier (Commitment domain separator, max 255 octets). Defaults to a fixed server value; MAY be public. |
Verify a draft-08 §3 record produced by pot_generate's potRecordV08 field: recomputes the Commitment, checks the Ed25519 signature, and — if content is supplied — checks it against the record's Payload Digest.
| Parameter | Type | Required | Description |
|---|---|---|---|
| potRecordV08 | string | Yes | Hex-encoded 184 or 216-octet record |
| ctxId | string | No | Must match what pot_generate used, or verification fails |
| issuerPubKey | string | No | Hex-encoded 32-byte raw Ed25519 public key. Defaults to this server's own key. |
| content | string | No | Payload to check against the record's Payload Digest field |
| clientId | string | Required when TTTPS_REQUIRE_REPLAY_LEDGER=1 | Stable caller identity for the replay key |
| sessionId | string | Required when TTTPS_REQUIRE_REPLAY_LEDGER=1 | Active transport/session identifier for the replay key |
When TTTPS_REQUIRE_V08_FRESHNESS=1, TTTPS_V08_MAX_SKEW_NS MUST be set to a non-negative integer. The verifier rejects records outside maxSkewNs + errorBoundUs. When TTTPS_REQUIRE_REPLAY_LEDGER=1, a successful verification atomically claims clientId/sessionId/nonce in Redis with a 90-day TTL; Redis failure or a second claim is rejected. These flags are fail-closed controls.
The current MCP canonical wire profile is draft-11 PoT Record v2 (180 octets). pot_generate_v2 and pot_verify_v2 implement the fixed core record, including SHA-256 integrity over octets 0-79 and Ed25519 issuer authentication over octets 0-115. Draft-08 remains available through pot_verify_v08 for legacy interoperability only. TLS binding proof is a separate 64/32-octet value; TTTPS_V2_REQUIRE_BINDING=1 fails closed unless the server is running over direct TLS 1.3; stdio and plain HTTP have no TLS exporter. Configure MCP_TLS_CERT_FILE and MCP_TLS_KEY_FILE for the HTTPS mode. Replay claims use (ctx_id, nonce) with TTTPS_REPLAY_TTL_SECONDS (default 86400).
Query Proof of Time records. Use eventId for O(1) exact lookup after context compression.
| Parameter | Type | Required | Description |
|---|---|---|---|
| eventId | string | No | Exact step lookup — collision probability 2⁻²⁵⁶ |
| startTime | number | No | Start time (unix ms). Default: 24h ago |
| endTime | number | No | End time (unix ms). Default: now |
| limit | number | No | Max entries to return. Default: 100, max: 1000 |
Traverse the causal chain from any step. Returns backward chain (ancestors) and forward chain (descendants).
| Parameter | Type | Required | Description |
|---|---|---|---|
| eventId | string | Yes | Step to traverse from |
| depth | number | No | Max backward depth. Default: 10, max: 100 |
Returns:
backwardChain — ancestors in chronological order (depth-compressed for large chains)forwardChain — steps that follow the given eventIdchainBroken — true if a gap is detected (ancestor was evicted from ring buffer, or the chain root references an unknown entry)brokenAt — "server_restart" if the gap was caused by a server restart clearing in-memory state; otherwise the eventId at which the break occurred; null if chain is intactreachableDepth — number of ancestors successfully traversed before the gap (or chain root)Causal chain gap causes:
REDIS_URL is set, the DAG is rebuilt from Redis on startup — reducing restart gaps.chainBroken: true with brokenAt set to the oldest reachable eventId.Recovering from a gap: call pot_checkpoint before long tasks to compress and preserve the chain within the token budget, or use Redis persistence to survive restarts.
| Parameter | Type | Required | Description |
|---|---|---|---|
| potHash | string | Yes | PoT hash to verify (hex with 0x prefix) |
| grgShards | string[] | Yes | Array of hex-encoded cryptographic integrity shards |
| chainId | number | Yes | EVM chain ID |
| poolAddress | string | Yes | Uniswap V4 pool address |
| Parameter | Type | Required | Description | ||
|---|---|---|---|---|---|
| period | "day" \ | "week" \ | "month" | Yes | Time period for statistics |
No parameters.
Creates a compressed rollup checkpoint of workflow history.
Use when: Approaching context limit, before long tasks, or every ~100 events.
| Parameter | Type | Required | Description |
|---|---|---|---|
| fromEventId | string | No | Start of range — first eventId in the causal chain to include |
| toEventId | string | No | End of range — last eventId in the causal chain to include |
| startTime | number | No | Unix ms. Default: 1 hour ago |
| endTime | number | No | Unix ms
冒頭だけを表示しています。続きはリポジトリで読めます