Was macht proof-engine?
KI-Agent-Fähigkeit, die formale, überprüfbare Beweise von Behauptungen erstellt – jede Tatsache wird berechnet oder zitiert, nie behauptet
KI-Agent-Fähigkeit, die formale, überprüfbare Beweise von Behauptungen erstellt – jede Tatsache wird berechnet oder zitiert, nie behauptet
Diese Fähigkeit (Skill) für KI-Agenten ermöglicht die Erstellung formaler, überprüfbarer Beweise für beliebige Behauptungen. Anstatt lediglich Aussagen zu treffen, werden alle Fakten entweder berechnet (z. B. durch logische Schlussfolgerungen oder numerische Berechnungen) oder aus vertrauenswürdigen Quellen zitiert. Der Agent generiert einen strukturierten Beweis, der von einem Dritten (Mensch oder Maschine) Schritt für Schritt nachvollzogen und verifiziert werden kann. Diese Fähigkeit ist besonders nützlich in sicherheitskritischen Kontexten, bei der Validierung von Code- oder Systemeigenschaften, in der formalen Verifikation oder in der wissenschaftlichen Kommunikation – überall dort, wo bloße Behauptungen nicht ausreichen. Die Fähigkeit ist plattformunabhängig und kann in beliebige KI-Agenten-Systeme integriert werden, die Markdown unterstützen. Die Funktionsweise basiert auf der strukturierten Erfassung von Annahmen, Beweisschritten (Inferenzen oder Zitaten) und der finalen Schlussfolgerung, sodass eine lückenlose Kette von der Behauptung zu den belegten Fakten entsteht.
npx skills add yaniv-golan/proof-engineInstalled? Explore more Codierung & Entwicklung skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
KI-Agent-Fähigkeit, die formale, überprüfbare Beweise von Behauptungen erstellt – jede Tatsache wird berechnet oder zitiert, nie behauptet
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.