Repair formal proofs for a verified garbage collector
Codex edited files and ran builds to repair CertiGC proofs; it handled local repair well, but humans had to check that its invariants preserved the specification.
OpenAI's coding agent, including the non-coding jobs people give it.
OpenAI's coding agent, including the non-coding jobs people give it.

Codex edited files and ran builds to repair CertiGC proofs; it handled local repair well, but humans had to check that its invariants preserved the specification.
A self-hosted company OS runs Claude Code and Codex agents per department, with memory, schedules, phone calls via Twilio, and document/video editing.
A demo has Codex pull CRM data, rank top accounts, and build a 13-slide deck with per-account strategy and draft outreach emails.
A guide shows Codex summarizing transcripts into a Word doc, building an Excel revenue model and making carousel images from a document.
Secondhand accounts of OpenAI staff using Codex computer use for forms and PDFs, including one tax filing review that caught an error worth thousands.
User points Codex at the Logseq CLI docs so it can query and summarize journals and tagged job-application and project pages.
A communications professional had Codex email her son's doctor for a refill and sort 240 recipes down to 62 family-fit ones into an index, spreadsheet and Drive folder.
Pulls tasks from GitHub Issues or Linear, then runs Claude Code or Codex in isolated Kubernetes pods to carry each one through to a PR.
A weekly Codex automation searches arXiv for keywords, logs new papers to a CSV, sorts them into keep/skim/drop buckets and can check claims against Zotero.
A non-coder used Codex to build a local app that suggests dinners from pantry stock, garden produce, diets, appliances and weather.
An integration starts Codex CLI tasks against a Home Assistant config to diagnose failing automations, check dashboards for broken cards and create scripts.
Author runs a self-built autonomous agent on Codex, ChatGPT Plus, systemd and email that handles various company tasks, using a rolling context, diary and markdown wiki for memory.
Codex reads a folder of PDFs to find articles that disagree with an argument, screens about fifty papers for a systematic review, and cleans messy CSV or Excel files.
A text-to-cad skill let Codex produce a 7-DOF robot arm with kinematics, a GUI and STEP parts in one demo prompt, though not the gripper.