ripgrep

Recursive regex search with gitignore awareness, type filters and fast output.

15 capabilities 2 sections extracted from ripgrep

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

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

✓ Regex search, no catastrophic backtracking Rust regex public docs; finite automata engine
✓ Literal-string fast path public docs; SIMD-accelerated
✓ Unicode-aware by default public docs
✓ Context lines -A/-B/-C public docs
✓ Multiline mode -U public docs

Traversal

✓ Recursive walk with parallelism public docs; work-stealing directory iterator
✓ Respects .gitignore/.ignore public docs; core differentiator
✓ Hidden and binary file handling skip by default public docs; --hidden, -a override
✓ File-type filters and globs -t, -g public docs; built-in type registry

Encoding

✓ Transcoding for non-UTF8 -E; BOM sniffing public docs

UI 5

Output

✓ Colored output with headings and line numbers auto on TTY public docs
✓ JSON output mode --json public docs; per-match message stream
✓ Replacement in output -r public docs; display-only, files untouched

CLI

✓ List matching files only -l, --files public docs
✓ Meaningful exit codes 0/1/2 public docs

Download spec.json All 53 specs