applied-strategy-analysis: Claude Code and agent skill by r-irbe/proof-skills | Verified Skill