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
Skill-powered AI agents implementing the Agent Skills specification with pydantic-ai
Open directory of legal AI skills, agents and MCP servers.
Awesome Skills from Around the World
Agent Skill Manager CLI
Skills for Claude.ai web interface — upload a SKILL.md to activate custom commands like /humanizer, /memory, and more.
Convert ClawHub (OpenClaw) skills to Manus-compatible format. Bridge 8000+ ClawHub skills to the Manus ecosystem.