codex-theory-proof-workbench は何をしますか？
理論証明、証明デバッグ、ルート制御、証明失敗からの回復のためのCodexスキル
理論証明、証明デバッグ、ルート制御、証明失敗からの回復のためのCodexスキル
このスキルは、AIエージェント（特にCodexなど）が複雑な理論証明に取り組む際に、証明のデバッグ、証明経路（ルート）の制御、および証明が失敗した場合の回復を支援するために設計されています。主に形式検証や定理証明を扱う開発者を対象としており、証明の途中経過を分析し、問題箇所を特定して修正案を提示したり、別の証明戦略を試すためのルート制御機能を提供します。このスキルは、証明が行き詰まった場合に、バックトラックや別の証明手法への切り替えを自動化または半自動化することで、生産性を向上させます。Codexプラットフォーム上で動作し、対話的な証明開発をサポートします。
npx skills add jmf-enigma/codex-theory-proof-workbenchInstalled? Explore more コーディング＆開発 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
理論証明、証明デバッグ、ルート制御、証明失敗からの回復のためのCodexスキル
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.