Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Add this tool to a workspace, then choose which people and agents can use it.
Open workspaceNo capability manifest has been published for this listing yet.