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