Does Ask Prover need a vector database?
Ten questions, two ways of finding documents: the model searching files itself, or a vector database. Same answers, same cost, so Ask Prover runs without one.
Prover Labs
Notebook
Notes from Prover's AI team as the work happens: what we are building, what we measured, and what we learned along the way. Each entry is dated and written by the people who did the work.
3 entries · latest 19 September 2026
Plugging an AI into Prover iLock
How an AI assistant works next to Prover iLock: it reads the model and the verification evidence, drafts checks and explains failures, while only the engineer changes the model.
Verification Is All You Need
How Prover Labs verifies its own changes: a strict mechanical gate, then an independent reviewer that drives the app in a real browser, with a verdict that expires when the diff changes.