CommunityProgramação e Desenvolvimentogithub.com

jmf-enigma/codex-theory-proof-workbench

Codex skill for hard theory proofs, proof debugging, route control, and failed-proof recovery

O que é codex-theory-proof-workbench?

codex-theory-proof-workbench is a Codex agent skill that codex skill for hard theory proofs, proof debugging, route control, and failed-proof recovery.

Funciona com~Claude Code✓Codex CLI~Cursor
npx skills add jmf-enigma/codex-theory-proof-workbench

Installed? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →

Ver original→Navegar por todas as habilidades

Perguntar na sua IA favorita

Abre um novo chat com esta habilidade de agente já pré-carregada.

OpenAIChatGPTClaudeClaudeGeminiGeminiGrokGrokPerplexityPerplexityDeepSeekDeepSeek

Documentação

O que codex-theory-proof-workbench faz?

Codex skill for hard theory proofs, proof debugging, route control, and failed-proof recovery

Habilidades Relacionadas

steipete/bluebubbles

Send and manage iMessages via BlueBubbles, including attachments, tapbacks, edits, replies, and groups.

community

steipete/eightctl

Control Eight Sleep pods (status, temperature, alarms, schedules).

community

steipete/blucli

BluOS CLI (blu) for discovery, playback, grouping, and volume.

community

steipete/bear-notes

Create, search, and manage Bear notes via grizzly CLI.

community

steipete/camsnap

Capture frames or clips from RTSP/ONVIF cameras.

community

steipete/gifgrep

Search GIF providers with CLI/TUI, download results, and extract stills/sheets.

community
← More Programação e Desenvolvimento skills