What PROVABLY TECHNOLOGIES LTD does

PROVABLY TECHNOLOGIES LTD (DBA: Provably) is a private cryptography and infrastructure company building verifiable data systems for AI agents, blockchains, and distributed databases. The company operates three interconnected products: (1) QEDB (Queryable Expressive Database), a verifiable database that proves SQL query results are correct without using SNARKs or circuits, instead relying on an algebraic approach that merges authenticated data structures with KZG polynomial commitments and Linear-Map Vector Commitments — yielding proofs of approximately 1KB regardless of underlying data size and millisecond-range verification on million-row datasets; (2) SourceryKit, a Python SDK that intercepts outbound HTTP calls from AI agents (patching httpx, aiohttp, requests at runtime), enforces endpoint policies, and verifies agent claims against authoritative records with deterministic PASS/CAUGHT/ERROR verdicts and append-only audit trails; and (3) Provably V2, a web platform with SQL IDE for querying and verifying data, launched publicly on March 4, 2026. The underlying QEDB research paper has been accepted to ACM CCS 2026.

The company targets AI agent builders, blockchain teams, and organizations deploying customer-service or transactional AI agents where incorrect data has material consequences. Its go-to-market is product-led and developer-first: SourceryKit is distributed open-source via GitHub and pip under a free tier (up to 100k rows per table, 10 tables per organization), with cookbooks for OpenAI Agents SDK, LangChain, and Claude Agents SDK to lower integration friction. Enterprise-grade support and paid features are planned but not yet commercially available; deployments exceeding free-tier limits are handled through direct contact. The company is incorporated in Finland (private limited company), headquartered in Newport (UK), and was incubated by CV Labs with CV VC as first-cheque investor alongside angel investors from Nazarè, Stake Capital, and TRGC. The team comprises approximately 9–12 people across three co-founders, engineering, product, and design, with advisors from Off Chain Labs and ZK Security.

Revenue mechanics are at a pre-commercial stage: the public platform launched March 2026, the free tier is the only live pricing model, paid enterprise tiers are roadmap items, and no enterprise customers, ARR, or revenue figures are disclosed. The company earns reputational and technical credibility through academic publication (CCS 2026 acceptance), open-source distribution, and integration partnerships with the major AI observability stacks (Galileo, Arize Phoenix, LangFuse, LangSmith).

Name

PROVABLY TECHNOLOGIES LTD

Legal name

Provably Technologies LTD

Website

https://provably.ai

Company type

Private

Founded year

2024

Operating status

Operating

Headcount range

1–10 employees

Short description

Provably Technologies builds verifiable data infrastructure — a Python SDK (SourceryKit), a SNARK-free verifiable database (QEDB), and a SQL IDE platform (Provably V2) — for AI agent builders, blockchain teams, and organizations that need cryptographic proof of query correctness and agent claims.

Ownership category

akta.pro rank

Product category

Verifiable Database Software

NAICS

Software Publishers (5132), Computing Infrastructure Providers, Data Processing, Web Hosting, and Related Services (518210)

SIC

Services-Prepackaged Software (7372)

akta.pro primary industry

Blockchain Data & Indexing Infrastructure for Finance (Nodes, Indexers, Oracles) (FSAGAMAL)

akta.pro secondary industries

Smart Contract Frameworks & SDKs (developer kits, templates, standards) (FSAPABAB), RWA Oracles, Data Attestation & Proof-of-Reserve/Proof-of-Collateral (FSADAEAM), Developer APIs & Node Access (RPC providers, node infrastructure APIs) (FSAPABAC)

Keywords

• Verifiable databases
• AI agent guardrails
• Cryptographic proofs
• Runtime verification
• Verifiable SQL queries

Headquarters

HQ city

Newport

HQ country

United Kingdom

HQ region

Europe

Markets served

GTM type

B2B

Offering type

Software

Cost components

Technology or R&D, Personnel, Marketing or Sales, Operations

Revenue model

1. Provably V2 Platform Subscription: Free tier available with up to 100k rows per table and up to 10 tables per organization. Paid features and enterprise-grade support planned for future release. Contact-based sales for enterprise deployments exceeding free tier limits.
2. Enterprise Deployment Support: Enterprise-grade support and paid features being developed. Direct outreach for deployments requiring more than the free tier capacity (over 100k rows per table or more than 10 tables per organization).

Pricing tiers

Go-to-market motion2 records

Distribution channels3 records

Marketing channels8 records

Core offering

Provably develops verifiable data infrastructure and tools for databases, blockchains, and AI systems. Its core offerings are the SourceryKit Python SDK, which provides cryptographic guardrails for AI agents by intercepting outbound HTTP calls and verifying agent claims against authoritative records, and QEDB, a verifiable database that proves SQL query results are correct using algebraic commitments instead of SNARKs or circuits. The Provably V2 platform combines these technologies with a SQL IDE and REST API for verifiable data collaboration.

Product overview

PROVABLY TECHNOLOGIES LTD offers a unified platform for verifiable data in distributed systems. The core offering consists of three interconnected products: (1) Provably V2 is the main platform enabling verifiable database queries with cryptographic proofs for SQL operations; (2) QEDB is the underlying verifiable database technology that proves query correctness without traditional SNARKs or circuits, using algebraic commitments instead; and (3) SourceryKit is a Python SDK that adds verifiable guardrails to AI agents by intercepting HTTP calls, enforcing endpoint policies, and verifying agent claims against source-of-truth records. These products work together to enable verifiable AI agent tool calling and trustworthy data workflows.

Differentiator

Problem solved

Functional benefit

Brands

• SourceryKit: Python SDK for verifiable AI-agent guardrails. The state of the art Python SDK for runtime verification of agent tool calling.

Products and services

• SourceryKit Python SDK for runtime verification of AI agent tool calling. Provides verifiable guardrails by intercepting outbound HTTP calls, enforcing endpoint policies, and checking agent claims against source-of-truth records. Supports OpenAI Agents SDK, LangChain, and Claude Agents SDK.
• Provably V2 Platform enabling data owners to preprocess data once and serve SQL queries with cryptographic proofs that answers are correct and complete. Includes SQL IDE for querying and verifying data. Supports aggregate analytics (SUM, COUNT, MIN, MAX) with general SQL query support.
• QEDB (Queryable Expressive Database) Verifiable database system that proves SQL query results are correct without SNARKs or circuits. Uses authenticated algebraic commitments to represent database tables as polynomials and sets, enabling proofs to stay around 1KB regardless of data size.

Quantifiable outcome

• 3x faster to build reliable agents compared to traditional observability approach
• +4 more outcomes

Segments4 records

Ideal customer profiles4 records

Technology focussed Yes

API detail

Has API

Yes

API docs

API detail

Core technology

AI maturity

App detail

AI capability3 records

Feature6 records

Partnerships

Two partnerships are on record, tiered minor.

• Off Chain LabsminorOthersMatteo Campanelli from Off Chain Labs serves as an advisor to Provably, providing expertise in cryptographic systems and verifiable computation.
• ZK SecurityminorOthersNicolas Mohnblatt from ZK Security serves as an advisor to Provably, contributing zero-knowledge and security expertise.

Scale indicators5 records

Recent moves6 records

Expansion highlights6 records

Broad incumbents

• Chainlink: Dominant blockchain oracle network delivering off-chain data on-chain with cryptographic guarantees. Comparable to Provably's blockchain data verification use case but at vastly larger scale and broader scope (cross-chain, multi-chain, 1000+ integrations).

Emerging players

• Brevis: ZK coprocessor enabling smart contracts to verify computations over historical on-chain data and arbitrary logic. Directly comparable to Provably's verifiable-database-and-oracle positioning for DeFi, with similar target use cases in DeFi oracles and data verification.
• Lagrange: ZK coprocessor network for verifiable SQL queries and cross-chain state proofs. Closely comparable to Provably's QEDB in targeting verifiable database queries with cryptographic proofs, though Lagrange focuses on SQL-to-SNARK compilation.
• Herodotus: ZK coprocessor using storage proofs to access and verify historical on-chain data from Ethereum and other chains. Comparable to Provably's verifiable database for blockchain use cases, particularly DeFi and cross-chain data verification.
• Patronus AI: LLM evaluation and AI agent reliability platform focused on hallucination detection and safety guardrails. Comparable to SourceryKit's value proposition of catching AI agent errors before users see them, though uses LLM-as-judge approaches rather than cryptographic verification.

Direct peers

• LangSmith: Agent evaluation, debugging, and observability platform from LangChain; existing SourceryKit integration partner. Overlaps with Provably on the AI agent developer tooling axis, though LangSmith's verification relies on traces/evals rather than cryptographic proofs.
• RISC Zero: General-purpose zkVM that proves arbitrary program executions including SQL/database workloads. Directly comparable to QEDB's verifiable-database positioning, though RISC Zero uses RISC-V instruction-level proofs while Provably uses algebraic commitments on database tables.
• Axiom: Provides ZK coprocessor infrastructure that proves correctness of on-chain computations against historical Ethereum state. Directly comparable to Provably's QEDB in that both offer verifiable computation over blockchain/relational data with cryptographic proofs — though Axiom uses SNARKs/circuits while Provably uses algebraic commitments.
• Arize Phoenix: Open-source AI observability and evaluation platform; existing SourceryKit integration partner. Overlaps with Provably on AI agent reliability tooling, though focuses on traces/evals rather than cryptographic proof of agent tool calls.
• Galileo: AI agent observability and evaluation platform; existing SourceryKit integration partner. Comparable in that both address AI agent reliability, though Galileo's approach is LLM-based evaluation rather than cryptographic verification of tool calls.

Market position

Strengths4 records

Weaknesses4 records

Competitive moat4 records

Key risks6 records

Key highlights6 records

Customer concentration

• Xx.com/getprovably
• GitHubgithub.com/ProvablyAI
• LinkedInlinkedin.com/company/provably

Revenue estimate

Valuation estimate

Number of profiles

Profiles7 records

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about PROVABLY TECHNOLOGIES LTD