An instruction layer for AI coding agent

Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.

Build tested agent skills and govern their lifecycle through a user-defined marketplace: evidence, discovery, updates, rollback, quarantine, and 17-platform distribution.

Governance runtime for Claude Code. Enforces workflow gates at tool time, delivers the engineering rules relevant to the work, and preserves decision provenance across sessions.

Comprehensive sets of standards and practices designed to elevate the capabilities of AI coding agents.