article-leverage-story: Claude Code and agent skill by arthurzakirov/proofstack | Verified Skill