proof-engine은(는) 무엇을 하나요?
AI 에이전트 스킬로, 주장에 대한 형식적이고 검증 가능한 증명을 생성합니다 — 모든 사실은 단정되지 않고 계산되거나 인용됩니다.
AI 에이전트 스킬로, 주장에 대한 형식적이고 검증 가능한 증명을 생성합니다 — 모든 사실은 단정되지 않고 계산되거나 인용됩니다.
이 스킬은 AI 에이전트가 주장을 할 때 단순히 단정하는 대신, 형식적이고 검증 가능한 증명을 제공할 수 있도록 설계되었습니다. 개발자, 연구원, 또는 신뢰 가능한 AI 출력이 필요한 모든 사용자에게 유용하며, 각 사실이 어떻게 도출되었는지 추적할 수 있게 해줍니다. 다양한 AI 에이전트 플랫폼(예: Claude Code, Cursor, Codex)과 호환되도록 설계되었으며, SKILL.md 문서에 정의된 지침을 따릅니다. 작동 방식은 에이전트가 증명할 주장을 받으면, 관련 데이터를 수집하고, 논리적 추론을 적용하며, 모든 단계를 투명하게 기록하여 최종 검증 가능한 증명 구조를 생성합니다. 이는 특히 법적, 재무적, 과학적 맥락과 같이 정확성과 출처 추적이 중요한 경우에 유용합니다.
npx skills add yaniv-golan/proof-engineInstalled? Explore more 코딩 & 개발 skills: steipete/bluebubbles, steipete/eightctl, steipete/blucli · View all 6 →
AI 에이전트 스킬로, 주장에 대한 형식적이고 검증 가능한 증명을 생성합니다 — 모든 사실은 단정되지 않고 계산되거나 인용됩니다.
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.