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 skills add yaniv-golan/proof-engineAI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
Claude Code skills: feasibility studies, effort/cost estimation
Precise evaluation and validation for Rails-based AI agent skills
AI Agents, Skills, MCP Servers
Agent skill or AI-agent tooling repository surfaced by cross-model daily skill hunt.
🧭 给 Claude Code / Cursor / Codex 用的『架构副驾』skill —— 开新项目时用持续深度提问引导你在写代码前想清楚架构(产出架构图 / ADR / 演进路线)。知识源自 awesome-architecture。中英双语。
Automate Browser Tool tasks via Rube MCP (Composio). Always search tools first for current schemas.