mamut-lab

Research and development workspace for verification tooling.

Status: Experimental - Nothing here is verified or production-ready.

Projects

mamut-verify - Adversarial verification harness for event sourcing, compliance engines, and API contracts

AGPL-3.0-or-later

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.claude		.claude
mamut-verify		mamut-verify
README.md		README.md
SECURITY.md		SECURITY.md
mamut-lab.code-workspace		mamut-lab.code-workspace
verification-products-research.md		verification-products-research.md