catalog / devtools

Linter

Find problems in source without running it, without crying wolf.

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

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

Rules

✓ Rule set with individual enable/disable
✓ Severity per rule off / warn / error
✓ Presets that compose recommended, strict
✓ Custom rules via a documented plugin API

Analysis

✓ Syntax-aware, not regex over text operates on the AST
✓ Scope and type awareness where available
✓ Cross-file rules unused exports, cycles

Suppression

✓ Inline disable comments with a required reason
✓ Report unused suppressions so they get cleaned up

Fixes

✓ Autofix for mechanically safe rules
✓ Suggestions that are offered but not auto-applied

Config

✓ Config file with inheritance and per-directory overrides
✓ Ignore file honoured

Output

✓ Human formatter with file:line:col clickable
✓ Machine formats JSON, SARIF for CI annotation
✓ Exit code reflects error versus warning

Performance

✓ Caching so unchanged files are skipped
✓ Parallel across files

Download spec.json All 71 specs