Cache Server

In-memory key/value cache: eviction, expiry and what happens when it fills.

17 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: "cache")                → the capability tree
spec_checklist(slug: "cache")          → the questions to answer
spec_grade(slug: "cache", grades: [...])  → parity % + the gap list

# or just fetch it
curl https://provespec.com/catalog/cache/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 "cache" 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 17

Basics

✓ Get, set and delete by key
✓ Set with TTL, and TTL inspection
✓ Atomic increment and decrement
✓ Compare-and-set for safe read-modify-write
✓ Multi-get and pipelining one round trip for many keys

Expiry

✓ Lazy and active expiration expired keys never returned

Eviction

✓ Policy when memory is full LRU, LFU, random, no-eviction stated, configurable
✓ Max memory limit enforced

Data

✓ Values beyond strings lists, sets, hashes, sorted sets or an explicit strings-only stance

Concurrency

✓ Single-threaded or locked semantics documented command atomicity

Persistence

✓ Optional snapshot or append-only log cache versus store distinction

Distribution

✓ Client-side or server-side sharding consistent hashing
✓ Replication and failover behaviour

Patterns

✓ Pub/sub or key-change notification

Operations

✓ Stats: hit rate, memory, connections, evictions
✓ Slow-command log

Safety

✓ Authentication and network binding defaults not open to the internet by default

Download spec.json All 71 specs