Blog
Research
Team

Home
Blogs

Blogs, insights, and morefrom Provably

Stop agent errors
before they spread

Company

Home Research About

Resources

VSearch Developer Docs API Docs Blog

© 2026 Provably. All rights reserved.

Terms of Service Privacy & Cookie Policy

The Agent was right. The Evidence wasn't:Our benchmark shows agents give ungrounded answers

The agent was right

Aug 11, 2026The Agent Was Right. The Evidence Wasn’t.We benchmarked 15 leading AI models and found SourceryKit detected 100% of the covered deterministic errors—including 109 unsupported claims that answer-only scoring accepted.Read more

Blogs | Provably

SourceryKit: Runtime Verification of Agent Tool CallsIntroducing runtime verification for agent tool calling: how SourceryKit lets production agents prove and verify tool outputs at runtime, catch errors before they propagate, and move closer to reliable autonomy.
Jul 08, 2026
Provably V2 is LiveProvably V2 is now live and available for anyone to access and use. Allows users to connect to Relation DBs, comes with an SQL IDE to run verifiable queries at speed.
Mar 04, 2026
Beyond Circuits: A New Era for Verifiable DatabasesWhy QEDB makes verifiable SQL practical, without circuits or heavy SNARK overhead.
Feb 08, 2026
qedb: Rethinking Verifiable Databases from the Ground UpQEDB is Provably’s take on verifiable databases that ditches “SNARK everything” thinking and goes back to first principles. The post explains why trusting remote database answers is still a mess in modern stacks, surveys the two dominant VDB lineages (authenticated data structures vs SNARK-based systems), and then introduces QEDB as a third path.
Jan 21, 2026
Completing the Confidential AI stack: Verifiable ExplorersMajor teams are building confidential AI infrastructure to store and process sensitive workloads.
Nov 12, 2025
Provably × Midnight: Building the Future of Verifiable ComputationProvably and Midnight are collaborating to advance the next generation of ZK on big data. The partnership combines Provably’s verifiable analytics with Midnight’s privacy-focused blockchain infrastructure to enable confidential DeFi, enterprise-grade privacy, and developer-friendly ZK tooling.
Oct 27, 2025
Provably V2 & QEDB: Verifiable Databases Without SNARKsProvably’s new protocol, QEDB, introduces a faster, simpler way to verify database queries without SNARKs. Built on specialized cryptographic data structures, QEDB supports complex SQL queries, scales to millions of rows, and produces constant-size proofs under 1 KB.
Oct 20, 2025
Introducing Proving - A technique to rapidly verify and trust AI answersWe are entering a golden age of AI agents, where they bring tremendous convenience to many aspects of our workflows and lives.
Dec 09, 2024
Provably V1.3 Alpha - Verifiable Analytics Network is HereProvably V1.3 is live! This release marks the debut of the Verifiable Analytics Network, connecting Data Owners with Insight Seekers as well as expanded SQL aggregation support.
Nov 12, 2024