Tetrion

Popular repositories Loading

1. mathema mathema Public

   Claim-Driven Development: turn software intent into verifiable evidence.

   Python 41

2. mathema-agents mathema-agents Public

   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.

   Python 2

3. mathema-language mathema-language Public

   Language domains for mathema: the alphabets, predicate languages, hazard families and schema languages a claim quantifies text and structured values over with L[...].

   Python 1