Research and development workspace for verification tooling.
Status: Experimental - Nothing here is verified or production-ready.
- mamut-verify - Adversarial verification harness for event sourcing, compliance engines, and API contracts
AGPL-3.0-or-later