codex-theory-proof-workbench은(는) 무엇을 하나요?
Codex 스킬: 어려운 이론 증명, 증명 디버깅, 경로 제어 및 증명 실패 복구
어려운 이론 증명, 증명 디버깅, 경로 제어 및 증명 실패 복구를 위한 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.