dredozubov/hazmatHarnesses
Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
173
Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
Multi-agent harness that runs Claude Code and Codex together as one system
HAR: open agent harness (CLI + MCP) for coding agents. Isolated worktrees, deterministic verify, software factory workflows for Claude Code, Cursor, and Codex.
Spec-driven, agentic workflow framework for AI coding agents. Turn a request into a verifiable goal loop — plan, act, verify — with durable specs and evidence in your repo. Works with Claude Code, Codex, Gemini, OpenCode, and plain CLI.