catalog / formats

OpenAPI Description

Describe an HTTP API precisely enough to generate clients and tests from it.

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

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

Structure 3

  • Version, info block and servers
  • Paths with operations per method
  • Reusable components and $ref

Operations 4

  • Parameters by location path, query, header, cookie with required flags
  • Request bodies per media type
  • Responses per status code, with schemas
  • operationId unique and stable generated client method names depend on it

Schemas 3

  • JSON Schema types, formats and constraints
  • Composition allOf, oneOf, anyOf, discriminator
  • Examples that actually validate against the schema

Security 2

  • Schemes declared and applied per operation bearer, apiKey, oauth2
  • Scopes documented where they apply

Quality 2

  • Descriptions on every operation and field
  • Errors described, not only the happy path

Tooling 2

  • Validates against the specification
  • Generates a usable client and a mock server the real test of a description
Download spec.json All 100 specs