ai-high-stakes-verifiable: Claude Code and agent skill by r-irbe/proof-skills | Verified Skill