
vinta/hal-9000Harnesses
Opinionated AI coding agent and dev environment automation for macOS
129

Opinionated AI coding agent and dev environment automation for macOS
Agent-first local harness for OKF-compatible LLM Wikis.
Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.
Multi-harness control plane for Claude Code, Codex, Cursor, and OpenCode: quota-aware rotation across multiple Claude/Codex subscriptions, shared thread context, and cross-model review.