Mantis Hack

MCPify is an AI enablement compiler that transforms existing applications into AI-native, agent-operable systems.
Composable agent runtime with enforced isolation boundaries
Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
Multi-language agent runtime and library for execution scope management, lifecycle events, and middleware on tool and LLM calls.
QA Skills Directory QA Skills is a curated directory of testing-specific skills for AI coding agents (Claude Code, Cursor, Copilot, etc.).
Open-source firewall for AI agents. Policy engine that audits and controls what OpenClaw, Claude Code, Cursor, Codex, and any AI tool can do on your machine.
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