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
Your Ultimate AI Coding Toolkit 2026 – MCP Plugin for Pencil, Claude, Cursor & Gemini
Retro game cover downloader as an AI Agent Skill. Batch download covers/logos from Libretro for Pegasus, ES-DE, RetroArch frontends. Compatible with Claude Code, Codex CLI, OpenClaw & CodeBuddy.
Audits frontend implementations for design-system drift across CSS, Tailwind, JSX, TSX, Vue, and Angular code.
Skills and slash commands from my working Claude Code setup, shared as-is
符合nature论文学术表达和科研绘图的Skill
Comprehensive diagnostic, error-fixing, and skill recommendation tool for OpenClaw