proof-composer — Agent Skill for Coding | Genaihub