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

Theorem contracts for decimal.js — formal verification for decimal arithmetic

Programmatic verification API for AI agents — verify TypeScript code against contracts

Theorem contracts for bignumber.js — formal verification for arbitrary-precision arithmetic