catalog / protocols

GraphQL API

A typed query interface where the client states exactly what it needs.

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

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

Schema
  • ✓ Types, fields, interfaces, unions and enums
  • ✓ Nullability is explicit per field
  • ✓ Introspection, disableable in production
  • ✓ Deprecation with a reason, not removal
Queries
  • ✓ Nested selection with arguments and aliases
  • ✓ Variables and fragments
Mutations
  • ✓ Single-root mutation executed serially
Subscriptions
  • ✓ Server push over websocket or SSE
Execution
  • ✓ Partial results with a typed errors array errors do not replace data
  • ✓ Batched resolution to avoid N+1 queries dataloader pattern
Pagination
  • ✓ Cursor-based connections not offset
Safety
  • ✓ Query depth and complexity limits an unbounded query is a DoS
  • ✓ Persisted queries or an allowlist in production
  • ✓ Field-level authorisation, not just endpoint-level
Caching
  • ✓ Stable identifiers so clients can cache normalised
Evolution
  • ✓ Additive change without breaking existing clients
Download spec.json All 100 specs