catalog / engines

SQLite

Embedded SQL engine: transactions, indexes, WAL, triggers and extensions.

18 capabilities 2 sections extracted from SQLite

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

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

SQL
  • ✓ Core SQL-92 subset SELECT/INSERT/UPDATE/DELETE, joins, subqueries public docs
  • ✓ Common table expressions and window functions public docs
  • ✓ Triggers and views public docs
  • ✓ Dynamic typing (type affinity) public docs; distinctive design choice
  • ✓ JSON support json1 functions public docs
  • ✓ Full-text search FTS5 public docs; extension shipped in amalgamation
Storage
  • ✓ Single-file database cross-platform format public docs; stable file format
  • ✓ ACID transactions rollback journal / WAL public docs; atomic commit even on power loss
  • ✓ WAL mode with concurrent readers public docs; one writer at a time
  • ✓ Backup API and VACUUM public docs; online backup
Engine
  • ✓ Query planner with ANALYZE public docs; index selection stats
  • ✓ Prepared statements + bindings public docs
  • ✓ Embeddable, zero-config, no server in-process library public docs; the defining property
Extend
  • ✓ Extension API custom functions, collations, vtabs public docs; virtual tables
Quality
  • ✓ Exhaustive test suite 100% branch coverage (TH3) public docs; famous testing rigor

UI 3

CLI
  • ✓ Interactive shell sqlite3 public docs; dot-commands
  • ✓ Import/export .import/.dump/.mode csv|json public docs
  • ✓ Query plan inspection EXPLAIN QUERY PLAN public docs
Download spec.json All 53 specs