Open-source, agent-agnostic RTL formal verification skill library for AI coding agents: JasperGold FPV, SVA, proof optimization, and TCL workflows for Claude Code, Codex, Gemini CLI, and Cursor.

Chiasmus is an MCP server that gives language models access to formal verification

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