O que proof-engine faz?
Habilidade de agente de IA que cria provas formais e verificáveis de afirmações — cada fato é calculado ou citado, nunca simplesmente afirmado.
Habilidade de agente de IA que cria provas formais e verificáveis de afirmações — cada fato é calculado ou citado, nunca simplesmente afirmado.
O **proof-engine** é uma habilidade para agentes de IA (como Claude Code, Cursor ou Codex) que transforma afirmações subjetivas em provas formais e verificáveis. Em vez de simplesmente afirmar um fato, o agente deve calcular, citar fontes ou referenciar dados precisos para cada ponto da alegação. Essa abordagem garante rastreabilidade, precisão e confiabilidade, sendo especialmente útil em contextos de engenharia de software, auditoria de código, documentação técnica ou qualquer cenário onde a veracidade das informações é crítica. A habilidade funciona por meio de um conjunto de instruções que orientam o agente a estruturar cada afirmação como uma prova, com passos lógicos, referências a fontes externas ou cálculos explícitos, evitando suposições não fundamentadas. Suporta plataformas como Claude Code, Cursor e Codex, e pode ser integrada diretamente via arquivos de configuração de habilidades (como `.cursorrules` ou `CLAUDE.md`).
npx skills add yaniv-golan/proof-engineInstalled? Explore more Programação e Desenvolvimento skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
Habilidade de agente de IA que cria provas formais e verificáveis de afirmações — cada fato é calculado ou citado, nunca simplesmente afirmado.
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.