deonmenezes/
mantishack
deonmenezes/mantishackHarnesses
Mantis Hack
496
Mantis Hack
Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
Observability and enforcement for AI agent harnesses. Capture every run and runtime reliability with policy enforcement. 40 built-in policies, a local dashboard, no account required with a generous free cloud plan