codex-theory-proof-workbench 是做什么的？
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 编程与开发 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.