CERTIOR
Formally verified control for AI agents.
Agent control
vcore: a Lean-verified policy checker for what an agent may do, applied to agent permissions in GitHub workflows.
Contract-gated tools
VoiceAgentGuard: contract-gated tool execution for production voice agents. EMNLP 2026.