Was macht codex-theory-proof-workbench?
Codex-Fähigkeit für schwierige theoretische Beweise, Beweis-Debugging, Routensteuerung und Wiederherstellung nach fehlgeschlagenen Beweisen
Codex-Fähigkeit für schwierige theoretische Beweise, Beweis-Debugging, Routensteuerung und Wiederherstellung nach fehlgeschlagenen Beweisen
Diese Fähigkeit (Codex-Skill) dient als spezialisierte Arbeitsumgebung für anspruchsvolle theoretische Beweisführungen, insbesondere im Kontext des Codex-Assistenten. Sie unterstützt Entwickler und Forscher beim Debuggen von Beweisen, bei der Kontrolle des Beweisverlaufs und bei der Wiederherstellung nach fehlgeschlagenen Beweisversuchen. Der Skill ist dafür ausgelegt, komplexe logische Strukturen zu handhaben und bietet Werkzeuge zur Fehleranalyse und zum systematischen Voranschreiten in schwierigen Theorien. Er hilft, Sackgassen in Beweisen zu identifizieren, alternative Routen vorzuschlagen und den Proof-Prozess zu automatisieren. Die Fähigkeit integriert sich nahtlos in Codex und erweitert dessen Basis-Funktionalität um spezifische Proof-Workflow-Features, was die Effizienz bei der Arbeit mit formalen Beweisen erhöht.
npx skills add jmf-enigma/codex-theory-proof-workbenchInstalled? Explore more Codierung & Entwicklung skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Codex-Fähigkeit für schwierige theoretische Beweise, Beweis-Debugging, Routensteuerung und Wiederherstellung nach fehlgeschlagenen Beweisen
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.