For commercial teams
A paid six-week design partner pilot for commercial teams, with forward-deployed engineers from Tetrion helping you get your first codebase verified with mathema, and a direct say in what we build next.
We work alongside your team to put claims on the code you can least afford to get wrong. Once those claims are verified, AI-assisted coding can move faster on that code without anyone taking it on trust, and the return is something you can point to at the end, not a promise about next year.
Platform and developer-experience teams where coding agents now write a meaningful share of the code, and quantitative teams in banks, funds and insurers, where evidence of correctness already has to be written up for model validation and audit.
Our engineers work alongside yours to get your first codebase verified: we state claims on the functions you rely on most and prove as many of them as possible.
mathema itself runs wherever your code lives and never sends source anywhere.
Direct access to the founding engineering team, a say in the roadmap and discounted annual licence costs, plus the verified records the work produces, which stay in your repository.
mathema already verifies functions one repository at a time. These are the areas where design partners decide what enterprise scale has to mean.
No enterprise codebase is one language. Partners decide which language comes next.
A verification gate that holds across many repositories and teams, not just the one where it was first wired in.
What is proven, sampled or unclaimed across an organisation, in a form a platform lead or a risk function can read.
Human sign-off and a lineage of verdicts kept long enough, and clearly enough, for someone who was not in the room.
Many teams never need to pay. Beyond the free tier, commercial use needs a licence, and you can take one on its own or start as a design partner. The licensing policy lists every condition.
No tokens, no signup, no API key. Free in production for organisations under USD 10 million in revenue, and for research, teaching and personal use. Commercial teams can start free too, on up to three repositories or during a 90-day evaluation.
installGetting going is straightforward. Writing claims is quick to learn, or your coding assistant can help: run mathema init --agents or point it at the local MCP server. Either way, no LLM is involved in verifying a claim, and accepting a result stays with a person. Ask for a licence and we'll send terms.
mathema init the MCP interfaceFor teams that want forward-deployed engineers helping them get their first codebase verified. Design partners get direct access to the founding engineering team, a say in the roadmap and discounted annual licence costs.
Technical questions while you evaluate: engineering [at] tetrion.co