catalog / infra

Search Index

Full-text search: analysis, ranking, and answers that arrive fast.

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

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

Indexing
  • Add, update and delete documents
  • Bulk indexing with error reporting per document
  • Schema or mapping per field text, keyword, number, date, geo
Analysis
  • Tokenisation, lowercasing and stemming per language
  • Stop words and synonyms
  • The same analyser applies at index and query time
Query
  • Term, phrase and prefix queries
  • Boolean combination with must/should/must-not
  • Fuzzy matching with an edit-distance bound
  • Field boosting and custom scoring
Ranking
  • Relevance model stated BM25 and tunable
Results
  • Pagination, deep-paging strategy cursor or search-after
  • Highlighting matched fragments
  • Facets and aggregations
Freshness
  • Near-real-time visibility with a stated refresh interval
Operations
  • Index size, query latency and slow-query log
  • Reindex without downtime via aliases
Download spec.json All 71 specs