Code Editor

Text editing for code: navigation, completion, diagnostics, multi-file work.

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

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

Buffer

✓ Open, edit and save files with encoding detection CRLF/LF preserved
✓ Unlimited undo/redo with grouped edits typing coalesces into one undo
✓ External change detection and reload prompt
✓ Large-file mode degrades features rather than hanging

Language

✓ Syntax highlighting per language
✓ Completion from the language server
✓ Diagnostics with severity and quick fixes
✓ Go to definition, references, rename symbol rename is project-wide
✓ Formatting on save

✓ Find and replace in file with regex and capture groups
✓ Search across the project, respecting ignore files

Project

✓ File tree with create, rename, delete
✓ Per-workspace settings that override user settings

UI 8

Editing

✓ Multiple cursors and column selection
✓ Code folding and bracket matching
✓ Minimap or scroll overview with markers

Layout

✓ Split views and tabs, restored across sessions
✓ Command palette reaching every command
✓ Keybindings remappable, with a conflict view

Feedback

✓ Unsaved indicator and save-all
✓ Editing stays responsive while indexing never blocks on background work

Download spec.json All 71 specs