{
 "slug": "agent-formal-verify",
 "name": "Agent formal verify",
 "url": "https://codexstacks.com/p/agent-formal-verify/",
 "source": "Community",
 "checked_on": "2026-10-25",
 "codex_version": "0.163.0",
 "commit": "5bbc2eb852e39160f7b6d4e50cf738ac2f954b3e",
 "status": "skills",
 "result": "pass",
 "note": null,
 "loaded": {
  "plugins": 1,
  "skills": 2
 },
 "mcp_sign_in": false,
 "about": "CodexStacks install checks: we install a listing with the Codex CLI in a fresh, empty, sandboxed home folder (no sign-in, no API key) and record what Codex loads (skills, hooks, MCP servers and their tools). This is an install and load check only: listings are not run in a live Codex session, nobody signs in to their services, and their code is not reviewed. See https://codexstacks.com/how-we-check/",
 "history": []
}