AutoformBot plugin for Codex
Set up Lean repositories, build and formalize source-grounded Markdown roadmaps, and support review.
How to install AutoformBot in Codex
1. Add the repo as a Codex plugin marketplace:
codex plugin marketplace add facebookresearch/autoform-bot2. Install the plugin from it:
codex plugin add autoform@autoformCommands copied from the repo README (the first adds the repo as a Codex marketplace; the second installs the plugin). Check the README for setup steps. Source: repo README.
New Codex plugins every Tuesday, install line ready to copy.
Stacks Weekly is one short email from GrokStacks and CodexStacks. Subscribe and get the free starter list: 20 Codex plugins worth installing first.
Confirmation email first. Unsubscribe anytime.
What it contains
The plugin manifest doesn't list components inline. See the repo.
Example prompts from the manifest
- Set up this Lean repository with an Autoform vault, verification CI, and GitHub Pages without planning the mathematics.
- Build and validate a source-grounded Autoform roadmap, using a persistent Goal when available.
- Formalize the ready Markdown roadmap frontier in Lean and record only verified progress.
About this listing
AutoformBot is a community plugin on GitHub by facebookresearch. Its README documents a Codex install and the repo ships a Codex plugin manifest. It passed the CodexStacks quality filter for repos found this way (at least 100 stars, pushed in the last 90 days, not a fork or a list). OpenAI hasn't reviewed it, but it passed our Codex install check on Oct 28, 2026 (an install and load check, not a code review). The manifest says version 0.6.0+codex.20261021231550. It's one of 441 listings in the Developer Tools category.
AutoformBot FAQ
How do I install AutoformBot in Codex?
Add the repo as a Codex plugin marketplace with codex plugin marketplace add facebookresearch/autoform-bot, then install it with codex plugin add autoform@autoform. Commands: copied from the repo README; check the repo README too.
Is AutoformBot an official Codex plugin?
No. AutoformBot is a community repo on GitHub by facebookresearch. It passed the CodexStacks quality filter, but OpenAI hasn't reviewed it, but it passed our Codex install check on Oct 28, 2026 (an install and load check, not a code review), so read the code before you install it.
What does AutoformBot include?
The plugin manifest doesn't list components inline. See the repo.
Details
- Type
- Plugin
- Category
- Developer Tools
- Source
- Community
- Author
- Vivien Cabannes
- Version
- 0.6.0+codex.20261021231550
- License
- MIT
- GitHub stars
- 130 (at last sync)
- Last push
- 2026-10-29
- Manifest
.codex-plugin/plugin.json- Source
- https://github.com/facebookresearch/autoform-bot
- Listed via
- GitHub search: README documents a Codex install
- Install check by CodexStacks
- Passed on Oct 28, 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 AutoformBot? Add the badge; it links to this page.
Markdown
[](https://codexstacks.com/p/autoform-bot/)HTML
<a href="https://codexstacks.com/p/autoform-bot/"><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:
<a href="https://codexstacks.com/p/autoform-bot/" 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">AutoformBot</span><span style="display:block;margin:2px 0 8px;font-size:12px;color:#b5a9a1">Community Codex plugin</span><span style="display:block;margin:0 0 10px;color:#ddd3cc">Set up Lean repositories, build and formalize source-grounded Markdown roadmaps, and support review.</span><span style="font-size:12px;font-weight:600;color:#ffb347">View on CodexStacks →</span></a>Markdown summary
**[AutoformBot on CodexStacks](https://codexstacks.com/p/autoform-bot/)**: Community Codex 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.
Skills (mattpocock)
Skills for Real Engineers. Straight from my .agents directory.
Agents
Multi-harness agentic plugin marketplace for Claude Code, Codex, Cursor, OpenCode, GitHub Copilot, Google Antigravity, and Pi
Playwright MCP
Playwright MCP server
Nuwa Skill
你想蒸馏的下一个员工，何必是同事。蒸馏任何人的思维方式——心智模型、决策启发式、表达DNA。Distill how anyone thinks.
Oh My Codex
OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.