aig-guardian

AI agent security with provable guarantees: capability-based access control (CaMeL-inspired), atomic execution pipelines, and safety specification verification. 165+ patterns, 25 threat categories, OWASP LLM Top 10 + MITRE ATLAS. Zero-dependency core.