File size: 1,502 Bytes
690420f 923f070 690420f 923f070 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 | ---
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.
- |