The secure operating system for AI, and the hands-on kit for the OWASP AI Security Verification Standard. Boot it, and you can build, run and verify AI security to the standard. Offline or airgapped.
Run agents on an OS with agent identity, per-action signing and human-in-the-loop built in. The agent does its job; the OS proves what it did.
The full toolkit to learn and audit AI security against the OWASP AISVS standard, offline or airgapped.
AISVS verification scanner. Technical enumeration across LLM, MCP and agents.
Agent skills for every AISVS domain, plus the offensive AI-DAST engine.
Damn Vulnerable MCP and RAG, local and sandboxed. The only broken-by-design parts.
Agent identity, per-message signing and graduated trust on the command line.
Sign model input and output so what the model did is provable.
A normal, guardrailed model for offline and airgapped auditing.
LAInux is the toolkit auditors use to verify AI to the standard. Learn it, hands-on, on the course.
Explore the Auditor Course