KV Store

Get/put/delete, iteration, atomic batches, durability and compaction.

12 capabilities 1 sections reference specification

Build against it

# give your agent the catalog — no account, no install
claude mcp add provespec -- npx -y provespec-mcp

# then, from any agent session
spec_get(slug: "kv-store")                → the capability tree
spec_checklist(slug: "kv-store")          → the questions to answer
spec_grade(slug: "kv-store", grades: [...])  → parity % + the gap list

# or just fetch it
curl https://provespec.com/catalog/kv-store/spec.json

Grade every capability below as yes · partial · no · na, with a file reference as evidence. Whatever you leave ungraded counts as missing — the gap list is the work queue.

Or just paste this to your agent

Use the ProveSpec MCP server. Fetch the "kv-store" spec with
spec_get, then walk spec_checklist and grade this repository against it —
one verdict per capability, each with a file reference as the note.
Call spec_grade with the results and give me the gap list as the plan.

If the server is not registered, add it first:
  claude mcp add provespec -- npx -y provespec-mcp

The specification

AI 12

Protocol

✓ TCP server, request/response protocol RESP-like multiple concurrent clients
✓ Pipelining responses in request order

Commands

✓ GET / SET / DEL / EXISTS binary-safe values
✓ EXPIRE / TTL lazy + periodic expiry
✓ INCR / DECR atomic; error on non-numeric
✓ KEYS pattern / SCAN SCAN cursor-based, non-blocking
✓ Pub/Sub SUBSCRIBE/PUBLISH fan-out to subscribers

Persistence

✓ Snapshot to disk and reload atomic write; load on start

Memory

✓ Max-memory with LRU eviction configurable

Ops

✓ INFO / stats command keys, memory, hits/misses
✓ Config via file or flags port, maxmemory, snapshot path
✓ Graceful shutdown final snapshot on SIGTERM

Download spec.json All 53 specs