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
Agent skill repository for HuGuanyu0103/claude-skill-AB.
Automate Affinity tasks via Rube MCP (Composio). Always search tools first for current schemas.
My personal skills, agents, and other configuration files for agentic coding.
Auto-capture session work, learn from corrections, generate standups — three Claude Code skills that persist what matters across sessions
Clawtrl
Terminal session manager for AI coding agents. One TUI for Claude, Gemini, OpenCode, Codex, and more.