What does codex-theory-proof-workbench do?
Codex skill for hard theory proofs, proof debugging, route control, and failed-proof recovery
Codex skill for hard theory proofs, proof debugging, route control, and failed-proof recovery
codex-theory-proof-workbench is a Codex agent skill that codex skill for hard theory proofs, proof debugging, route control, and failed-proof recovery.
npx skills add jmf-enigma/codex-theory-proof-workbenchInstalled? Explore more Coding & Development skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Codex skill for hard theory proofs, proof debugging, route control, and failed-proof recovery
Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.
Control Eight Sleep pods (status, temperature, alarms, schedules).
BluOS CLI (blu) for discovery, playback, grouping, and volume.
Create, search, and manage Bear notes via grizzly CLI.
Capture frames or clips from RTSP/ONVIF cameras.
Search GIF providers with CLI/TUI, download results, and extract stills/sheets.