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
Forge rough ideas into drift-proof execution contracts for AI coding agents. 6-step pipeline, 16 agents, 8 skills, lifecycle hooks, 5 tech presets.
Human-in-the-loop bootstrapper for tuning AI assets (prompts, skills, agents, instructions, scripts, hooks, workflows, orchestrators)
月老视角 Skill, 用条件层和短板视角分析相亲择偶问题
Agent skill repository: dmccreary/claude-skills
修复 Claude Code Desktop 接入 DeepSeek/第三方模型后能力缺失、联网失败、频繁权限弹窗的 Claude Skill
🧠 Custom skills for Claude AI — includes Smart Orchestrator (adaptive response depth) and Omni-Expert (precision expert persona selector). Plug-and-play SKILL.md files for Claude environments that support custom skills.