Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
QRNG-seeded random bytes, seeds, and ML-KEM-768 keys with signed provenance receipts.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
ウェブ、デスクトップ、モバイルのClaudeで使えます:
https://api.qeaas.eu/mcpターミナルでこれを実行します
claude mcp add --transport http qeaas https://api.qeaas.eu/mcpプロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"qeaas": {
"url": "https://api.qeaas.eu/mcp"
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"qeaas": {
"type": "http",
"url": "https://api.qeaas.eu/mcp"
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
ChatGPTがつなげるのは、インターネット上のサーバーだけです:
https://api.qeaas.eu/mcpメニューの名前は、プランや時期によって少し違うことがあります。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
このサーバーのツール一覧はまだ読み取っていません。エンドポイントは順番にチェックしています。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック
公開者(qeaas.eu)がリポジトリの所有者(PeterJasSK)ではありません。別の人が登録した可能性があります
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
まだチェックしていません。エンドポイントは順番にチェックしています
まだチェックしていません。エンドポイントは順番にチェックしています
まだチェックしていません。エンドポイントをチェックするときにツール一覧を読み取ります
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち0項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
作者のクラウドで動きます。インストール不要でインターネット経由でつながりますが、送った内容は作者のサーバーを通ります。
GitHubリポジトリの最終更新は–、最新バージョン(1.0.0)がレジストリに届いたのは3 か月前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。URLでつながるので、リモートMCPサーバーに対応したアプリ(開発者モードのChatGPTなど)でも使えます。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, Signoff
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ 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.
Five gates that make an agent's 'done' provable: run them, read the verdict, audit the record.
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
Want an API key? Email peter.jas@cnl.sk.
FastAPI service that turns preloaded QRNG (quantum random number generator) bits into served randomness, dice rolls, cryptographic seeds, and post-quantum ML-KEM key material — each issue carrying a signed, offline-verifiable provenance receipt.
Monorepo layout: api/ (this document — FastAPI service), web/ (Next.js explainer + demo), shared/ (docs, spikes), claude/ (epic build plans). The web app is a thin client over the API; everything substantive happens here.
Honest framing, stated once and meant everywhere. QRNG does not "defeat quantum
attackers." Raw QRNG bits are *never served*. They are entropy that **seeds a standards
HMAC-DRBG** (NIST SP 800-90A). Every byte this API returns —
/random,/dice,/v1/random/bytes,
ML-KEM seeds — is DRBG output. The quantum part is the *entropy source*; any quantum
*resistance* comes from ML-KEM-768 (FIPS 203), not from the randomness being "quantum."
┌──────────── admin (X-Admin-Token) ────────────┐
│ │ QRNG .txt │ POST /admin/ingest │ POST /admin/keys (0/1 bits) ▼ ▼ POST /admin/keys/revoke ┌─────────────┐ AES-256-GCM ┌───────────────────────────────┐ │ pool.parse │ ───────────────▶ │ Postgres (Neon) │ │ + encrypt │ │ entropy_pool (ciphertext) │ └─────────────┘ │ drbg_root (ciphertext) │ │ api_keys / usage_log / │ │ issue_log │ └───────────────┬───────────────┘ │ decrypt slice on reseed ▼ client ┌───────────────────────────────────────┐ ─────────▶ entropy gate │ keyed_drbg.output(n) │ request (503 if low) │ root_key ← reseeded from pool │
db.connect); there is no long-lived pool object. DRBG state is never read-modify-written per request — see §4.WEB_ORIGIN (comma-separated).main.py).Source map (api/qeaas/):
| Module | Responsibility |
|---|---|
main.py | FastAPI app, all route handlers, CORS, entropy header middleware |
generation.py | The single served-randomness choke point + provenance metadata builder |
keyed_drbg.py | Serverless-safe DRBG wrapper: reseed schedule, Redis-counter mixing |
drbg.py | Pure NIST SP 800-90A HMAC-DRBG (SHA-256) |
pool.py | Entropy pool: parse 0/1, AES-256-GCM encrypt/decrypt, HKDF sub-keys, burn() |
db.py | Parameterized psycopg helpers for all five tables |
redis_client.py | Lazy Upstash client: atomic counter + rate-limit ops |
gate.py | Low-entropy gate (entropy_level, require_entropy dependency) |
auth.py | Admin-token guard, API-key hashing + validation |
ratelimit.py | Per-IP / per-key rate limits, anon daily ceiling, per-key quota |
dice.py | Rejection-sampled dice (no modulo bias) |
kem.py | QRNG-seeded ML-KEM-768 keygen + encapsulation |
receipts.py | Ed25519 receipt signing + verification |
errors.py | Flat {"error": " "} envelope for every failure |
schemas.py | Pydantic request/response models |
Every served byte flows through one choke point, generation.random_bytes(n) → keyed_drbg.output(n). Nothing bypasses it.
A. Ingest (admin, offline of the request path). POST /admin/ingest → pool.ingest_bits_bytes() → pool.parse_bits_bytes() packs the 0/1 text MSB-first into bytes (discarding a trailing partial byte, rejecting any non-0/1 char) → pool.encrypt_chunk() AES-256-GCM-encrypts it → db.insert_pool_chunk() stores (ciphertext, nonce, tag, plaintext_len, source_label) in `entropy_pool`. Plaintext never touches disk; the upload buffer is burn()-ed.
B. Serve (per request). keyed_drbg.output(n):
maybe_reseed() — loads the warm root-key cache (_load_cache), bootstrapping the root key from the pool on very first use (_bootstrap_root_key). If the reseed schedule is due (§4), pool.pull_reseed_material(32) decrypts the next unconsumed 32-byte slice from entropy_pool, encrypts it as the new drbg_root row, advances consumed_offset, and burn()s the plaintext.redis_client.incr_counter() — atomic INCR drbg:counter, returns a globally unique integer.HmacDrbg is instantiated with the decrypted root_key and generate(n, additional = counter.to_bytes(8) + additional) is called — the counter guarantees two concurrent requests can never produce identical output even with identical root key.db.bump_outputs_since_reseed() increments the reseed odometer.C. Wrap (per endpoint). generation.new_issue_meta(size) mints a request_id (uuid4), reads entropy_epoch (= drbg_root.reseed_counter), timestamps, and calls receipts.sign(...) to produce the Ed25519 receipt. Keyed endpoints then write db.insert_usage_log() (abuse spotting) and db.insert_issue_log() (metadata-only provenance — no output bytes are ever stored).
See the deep-dive comment at the end of this file / in the chat analysis for the exact call graph.
They protect against completely different failure modes and have opposite consistency needs.
Holds everything that must survive and must be transactional & durable. Five tables:
| Table | Holds | Notes |
|---|---|---|
entropy_pool | AES-256-GCM ciphertext of QRNG bits + nonce, tag, plaintext_len, consumed_offset, source_label | The vault. No plaintext-bytes column exists. consumed_offset tracks how much of each chunk has been spent. |
drbg_root | AES-256-GCM ciphertext of the current DRBG root seed + reseed_counter, outputs_since_reseed, rotated_at | The live DRBG key, rotated ("reseeded") from the pool on schedule. reseed_counter == entropy_epoch in receipts and drbg_reseeds in /health. |
api_keys | key_hash (HMAC-SHA256, peppered), owner, tier, daily_quota_bytes, revoked, created_at | Plaintext keys never stored. Read fresh every request so revocation is instant. |
usage_log | (ts, principal, endpoint, nbytes) | Abuse-spotting ledger for keyed issues. Anon /random//dice are not logged here. |
issue_log | (request_id, principal, endpoint, size, epoch_id, ts) | Metadata-only provenance. No output-bytes column exists, ever — verify provenance, not the secret. |
Durability matters: lose the pool ciphertext or the root key and the service can no longer prove provenance or reseed. Postgres is ACID; this is where correctness lives.
Holds only fast, disposable, atomically-mutated counters that would be a correctness hazard in Postgres under serverless concurrency:
| Key | Purpose | Op |
|---|---|---|
drbg:counter | Output uniqueness. Monotonic integer mixed into every DRBG call so two concurrent serverless invocations can't emit the same bytes. | INCR |
rl:ip:{ip}:{minute} | Per-IP rate limit (anon routes) | INCR + EXPIRE 60 |
rl:key:{hash}:{minute} | Per-key rate limit | INCR + EXPIRE 60 |
anon:daily:{day} | Global anon output ceiling (5 MB/day) | INCRBY + EXPIRE, DECRBY on refund |
quota:key:{hash}:{day} | Per-key daily byte quota | INCRBY + EXPIRE, DECRBY on refund |
Why not put these in Postgres? On stateless serverless you cannot safely read-modify-write shared state per request — two concurrent requests would race. Redis INCR/INCRBY are atomic, so there is no read-modify-write. These values are *meant* to expire (per-minute, per-day) and losing them is harmless — throttling fails open on a Redis outage (logs a warning, allows the request), because the reseed-frequency floor (§4) still guarantees the pool can't be drained.
One-line summary: Postgres = durable secrets + audit that must be correct forever; Redis = ephemeral atomic counters that must be fast and race-free but are disposable.
drbg.py). Not thread-safe — each request gets its own instance.keyed_drbg.py): output(n) = HMAC-DRBG(root_key, INCR(drbg:counter), n).root_key rotates from the pool on whichever fires first:RESEED_INTERVAL_SECONDS), orRESEED_OUTPUT_LIMIT (100 000) but only if ≥ RESEED_MIN_INTERVAL_SECONDS (5 minutes) has elapsed. Each reseed pulls RESEED_PULL_BYTES (32) from the pool.THRESHOLD (64 KiB) of unconsumed pool bytes, /health reports degraded and all gated routes 503 low_quantum_entropy (gate.require_entropy).One env-held MASTER_KEY (256-bit hex). pool.derive_subkey(name) (HKDF-SHA256, RFC 5869 one-block Expand) derives exactly four named sub-keys — there are no other secrets:
MASTER_KEY (env / KMS only — never written to Postgres)
└── HKDF-SHA256 ├── "pool-encryption-key" → entropy_pool AES-256-GCM ├── "drbg-root-encryption-key" → drbg_root.root_key AES-256-GCM ├── "api-key-pepper" → API-key hashing (HMAC-SHA256) └── "receipt-signing-key" → Ed25519 receipt signing seed
AES-256-GCM is authenticated: a flipped ciphertext byte fails the tag check and decryption raises — the service fails closed on tampered storage. Sensitive plaintext (decrypted slices, the warm root-key cache, upload buffers) is held in bytearray and best-effort burn()-ed after use (CPython cannot *guarantee* zeroization; serverless teardown keeps in-process secrets short-lived by design).
| Mechanism | Header | Applies to |
|---|---|---|
| None (anonymous) | — | /health, /random, /dice, /v1/verify, /v1/pubkey |
| API key | X-API-Key: | /v1/random/bytes, /v1/kem/* |
| Admin token | X-Admin-Token: | /admin/* |
hash_api_key(key) = HMAC-SHA256(pepper, key); only the hash is stored. require_api_key reads the row fresh every request, so revoked = true冒頭だけを表示しています。続きはリポジトリで読めます