Agent formal verify plugin for Codex

CommunityPluginDeveloper Tools

Model-check protocols with TLA+, prove invariants with Lean 4, and check bounded Rust functions with Kani.

How to install Agent formal verify in Codex

✓ Install-checked in Codexchecked Oct 25, 2026 · 2 skills proof

1. Add the repo as a Codex plugin marketplace:

codex plugin marketplace add michael-denyer/agent-formal-verify

2. Install the plugin from it:

codex plugin add agent-formal-verify@agent-formal-verify

This repo ships a Codex marketplace file (.agents/plugins/marketplace.json). The first command adds it as a marketplace (Codex CLI reference); the second installs the plugin 'agent-formal-verify'. 'agent-formal-verify' is the marketplace name from that file. Check the repo README too. Command format: Codex CLI reference.

What it contains

Plugins in this marketplace (1)

agent-formal-verify — Model-check protocols with TLA+, prove invariants with Lean 4, and check bounded Rust functions with Kani.

Example prompts from the manifest

Use formal-verify to model-check this protocol.

About this listing

Agent formal verify is a community plugin on GitHub by michael-denyer, tagged codex-plugin. It passed the CodexStacks quality filter (at least 10 stars, pushed in the last 180 days, not a fork, has a description and a manifest or README). OpenAI hasn't reviewed it, but it passed our Codex install check on Oct 25, 2026 (an install and load check, not a code review). From its files we found 1 plugin. The manifest says version 0.4.2. It's one of 441 listings in the Developer Tools category.

Agent formal verify FAQ

How do I install Agent formal verify in Codex?

Add the repo as a Codex plugin marketplace with codex plugin marketplace add michael-denyer/agent-formal-verify, then install it with codex plugin add agent-formal-verify@agent-formal-verify. Commands: the command format from the Codex CLI reference; check the repo README too.

Is Agent formal verify an official Codex plugin?

No. Agent formal verify is a community repo on GitHub by michael-denyer. It passed the CodexStacks quality filter, but OpenAI hasn't reviewed it, but it passed our Codex install check on Oct 25, 2026 (an install and load check, not a code review), so read the code before you install it.

What does Agent formal verify include?

From its manifest and repo files, Agent formal verify includes 1 plugin: agent-formal-verify.

Details

Type: Plugin
Category: Developer Tools
Source: Community
Author: Michael Denyer
Version: 0.4.2
License: GPL-3.0
GitHub stars: 35 (at last sync)
Last push: 2026-10-28
Manifest: .agents/plugins/marketplace.json
GitHub topics: agent, agent-plugin, agent-skills, boris-cherny, claude, claude-code, claude-plugin, lean, skills, tla, verification, verify
Source: https://github.com/michael-denyer/agent-formal-verify
Listed via: GitHub topic codex-plugin
Install check by CodexStacks: Passed on Oct 25, 2026 with Codex CLI 0.163.0: Codex loaded its skills. proof · how we check

Something wrong or missing? Submit or improve this listing. Listings also refresh automatically every night.

For maintainers: badge and embeds

Maintain Agent formal verify? Add the badge; it links to this page.

Markdown

[![Listed on CodexStacks](https://codexstacks.com/badge.svg)](https://codexstacks.com/p/agent-formal-verify/)

HTML

<a href="https://codexstacks.com/p/agent-formal-verify/"><img src="https://codexstacks.com/badge.svg" alt="Listed on CodexStacks" width="172" height="28"></a>

Embed card (static HTML and inline CSS, no JavaScript). Preview:

Agent formal verifyCommunity Codex plugin · 1 pluginModel-check protocols with TLA+, prove invariants with Lean 4, and check bounded Rust functions with Kani.View on CodexStacks →

<a href="https://codexstacks.com/p/agent-formal-verify/" style="display:block;max-width:380px;box-sizing:border-box;padding:14px 16px;border:1px solid #3a2c26;border-radius:12px;background:#0d0b0a;color:#f3ece6;font:14px/1.45 -apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;text-decoration:none"><span style="display:block;font-size:16px;font-weight:700;color:#f3ece6">Agent formal verify</span><span style="display:block;margin:2px 0 8px;font-size:12px;color:#b5a9a1">Community Codex plugin · 1 plugin</span><span style="display:block;margin:0 0 10px;color:#ddd3cc">Model-check protocols with TLA+, prove invariants with Lean 4, and check bounded Rust functions with Kani.</span><span style="font-size:12px;font-weight:600;color:#ffb347">View on CodexStacks →</span></a>

Markdown summary

**[Agent formal verify on CodexStacks](https://codexstacks.com/p/agent-formal-verify/)**: Community Codex plugin with 1 plugin.

More on badges, embeds and keeping your listing up to date: CodexStacks for plugin authors.

Also in Developer Tools

Rea

Reverse engineer anything with agents, from app behavior down to native binaries.

CommunityPluginDeveloper Tools

Skills (mattpocock)

Skills for Real Engineers. Straight from my .agents directory.

CommunitySkillDeveloper Tools

Agents

Multi-harness agentic plugin marketplace for Claude Code, Codex, Cursor, OpenCode, GitHub Copilot, Google Antigravity, and Pi

CommunityPluginDeveloper Tools

Playwright MCP

Playwright MCP server

CommunityConnectorDeveloper Tools

Nuwa Skill

你想蒸馏的下一个员工，何必是同事。蒸馏任何人的思维方式——心智模型、决策启发式、表达DNA。Distill how anyone thinks.

CommunitySkillDeveloper Tools

Oh My Codex

OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.

CommunityPluginDeveloper Tools

All 441 developer tools listings →