catalog / devtools

Code Formatter

One canonical layout, applied without argument.

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

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

Core
  • ✓ Reformat a file to canonical form
  • ✓ Idempotent — formatting twice changes nothing the defining property
  • ✓ Never changes program semantics
  • ✓ Preserves comments and their attachment the hard part
Layout
  • ✓ Line width target with intelligent breaking
  • ✓ Indent style and size
  • ✓ Quote style, semicolons, trailing commas few, opinionated options
  • ✓ Blank-line normalisation with author intent kept collapse runs, keep single separations
Scope
  • ✓ Format a range or a selection for editor integration
  • ✓ Ignore comments and ignore files
Robustness
  • ✓ Syntax errors reported without mangling the file
  • ✓ Original file untouched on failure atomic write
Integration
  • ✓ Check mode for CI exit non-zero when unformatted
  • ✓ stdin/stdout mode
  • ✓ Editor plugin with format-on-save
Performance
  • ✓ Fast enough to run on save tens of milliseconds for a typical file
Download spec.json All 71 specs