| --- |
| title: MAREF |
| emoji: 🛡️ |
| colorFrom: indigo |
| colorTo: purple |
| sdk: static |
| pinned: false |
| --- |
| |
| # MAREF |
|
|
| **Open-source governance layer for multi-agent systems.** |
|
|
| Runtime policy enforcement, Ed25519 audit chains, TLA+-verified invariants, and human-in-the-loop gates. Built for teams that need agent behavior to be inspectable, interruptible, and reproducible — not just "aligned" in a model card. |
|
|
| ## What it does |
|
|
| - **Governance state machine** — explicit, auditable state transitions instead of ad-hoc guardrails |
| - - **Runtime enforcement** — block unsafe tool calls, privilege escalation, credential exfiltration |
| - - **Audit chain** — every decision gets a signed, append-only record |
| - - **Formal invariants** — five constitutional red lines checked with TLA+ |
| - - **Human gates** — irreversible actions require explicit approval |
| |
| - ## Links |
| |
| - - Website: https://maref.cc |
| - - Code: https://github.com/maref-org/maref |
| - - Package: https://pypi.org/project/maref/ |
| - - Dataset: https://huggingface.co/datasets/maref-org/lexsi-redteam-set |
| - - Security whitepaper: https://github.com/maref-org/maref/blob/main/docs/MAREF-Security-Whitepaper.md |
| |
| - ## 2026 |
| |
| - Participating in the **Lexsi AI Safety & Alignment Hackathon** (Track 2: AI Red Teaming, Safety and Alignment) with an open red-team evaluation set and a governance demo. |
| - |
