Renders mathema claims in the notation your field already uses: price as P, sigma1 as σ₁, delta_revenue as ΔR. A curated symbol table for physics, chemistry, statistics, machine learning and finance, overridable per project.
Claim-Driven Development: turn software intent into verifiable evidence.
Skills and adapters that let coding agents use mathema: agents propose claims, mathema adjudicates, people accept. For Claude Code, Codex, Cursor, Copilot, Windsurf, Cline and Gemini.
To associate your repository with the claim-driven-development topic, visit your repo's landing page and select "manage topics."