Skip to content
@tetrionlabs

Tetrion

Popular repositories Loading

  1. 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 1

  2. mathema mathema Public

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

    Python 1

Repositories

Showing 2 of 2 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…