O que codex-theory-proof-workbench faz?
Habilidade do Codex para provas teóricas complexas, depuração de provas, controle de rota e recuperação de provas com falha.
Habilidade do Codex para provas teóricas complexas, depuração de provas, controle de rota e recuperação de provas com falha.
Esta habilidade do Codex foi projetada para auxiliar desenvolvedores e pesquisadores na elaboração, depuração e recuperação de provas teóricas complexas em ambientes de prova interativos (como Coq, Lean, etc.). Ela oferece suporte ao controle de rota de prova, permitindo navegar por diferentes caminhos de prova, depurar provas com falha identificando pontos de erro e sugerindo correções, e recuperar provas interrompidas ou incompletas. A habilidade é útil para quem trabalha com verificação formal, teoremas difíceis e automação de provas, funcionando como um assistente inteligente que reduz o esforço manual e acelera o desenvolvimento de provas corretas.
npx skills add jmf-enigma/codex-theory-proof-workbenchInstalled? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Habilidade do Codex para provas teóricas complexas, depuração de provas, controle de rota e recuperação de provas com falha.
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.