Semantic Versioning 2.0.0

Version numbers that carry a promise about compatibility.

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

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

Grammar 3

✓ MAJOR.MINOR.PATCH, non-negative integers 1.2.3 no leading zeros
✓ Optional pre-release identifier 1.0.0-alpha.1 dot-separated
✓ Optional build metadata 1.0.0+20130313144700 ignored in precedence

Semantics 5

✓ MAJOR for incompatible API changes
✓ MINOR for backwards-compatible additions
✓ PATCH for backwards-compatible fixes
✓ 0.y.z is unstable; anything may change
✓ Released versions are immutable fix forward, never re-tag

Precedence 4

✓ Compare major, then minor, then patch numerically
✓ Pre-release sorts before its release 1.0.0-alpha < 1.0.0
✓ Numeric identifiers compare numerically, alphanumeric lexically
✓ Build metadata is ignored when comparing

Ranges 2

✓ Caret, tilde and comparator ranges ^1.2.3, ~1.2.3, >=1.2
✓ Range satisfaction is decidable and documented including pre-release inclusion rules

Tooling 1

✓ Parse, validate, compare, increment

Open in Parity → Download spec.json All 102 specs