10:25
2026-06-18
github.com
ai-agents
Maref: Formal Governance for Multi-Agent Systems
Maref, a multi-agent recursive engineering framework, launched as the first product focused on agent governance, featuring a 10-state Gray code state machine, TLA+ formal verification, and a four-leve…