Formal verification for TypeScript — prove your code is correct for all inputs using Z3
Core engine for Theorem — parser, translator, solver, scanner, suggester
Bundler plugins for Theorem — strip contracts at build time (vite, esbuild, tsup)
CLI for Theorem — formal verification for TypeScript
TypeScript Language Service Plugin for Theorem — inline verification in VS Code
Programmatic verification API for AI agents — verify TypeScript code against contracts
Theorem contracts for bignumber.js — formal verification for arbitrary-precision arithmetic
Theorem contracts for decimal.js — formal verification for decimal arithmetic