catalog / devtools

Debugger

Stop a running program at the right moment and see why it is wrong.

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

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

Attach

✓ Launch a program or attach to a running process
✓ Remote debugging over a documented protocol DAP

Breakpoints

✓ Line, function and exception breakpoints
✓ Conditional breakpoints and hit counts
✓ Logpoints that print without stopping
✓ Survive restart and source edits

Stepping

✓ Step over, into, out, and continue
✓ Step back or replay, where supported
✓ Run to cursor and jump to a location

Inspect

✓ Call stack with frame selection
✓ Locals, arguments, closures and globals
✓ Expression evaluation in the selected frame
✓ Watch expressions re-evaluated on each stop
✓ Deep object inspection without truncating silently

Source

✓ Source maps resolve to original files

Concurrency

✓ Threads or async tasks listed and switchable
✓ Async stack traces across awaits

Safety

✓ Detaching leaves the program running correctly

Download spec.json All 85 specs