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
Open-source honeypot for MCP (Model Context Protocol) servers. Collects threat intel on attacks against the AI agent ecosystem.
A Claude Code skill that turns a folder of SVG glyph files into a complete, production-ready font package: OTF desktop font, WOFF2 web font, CSS icon classes, and an interactive HTML preview page
Automate Agility CMS tasks via Rube MCP (Composio). Always search tools first for current schemas.
Agent skill repository for leecyno1/boutique-openclaw-skills.
Claude Code skills I use day-to-day. Pick what you want, leave the rest.
AI Agent Skill 统一管理工具