yaniv-golan/proof-engine
AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
npx add-skill yaniv-golan/proof-engineAI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
A public timeline of major Anthropic Claude model releases, product updates, and developer platform milestones.
Make Codex sound like Claude Code: concise, truthful, tool-disciplined.
Collection of Agent technical skills
Claude skill: build polished interactive animated explanations (16 patterns, Anime.js v4, 3 export pipelines)
Automate Pilvio tasks via Rube MCP (Composio). Always search tools first for current schemas.
Local-first interview recording review reports with a Codex skill and CLI.