generate-tests: Claude Code and agent skill by kotaroyamame/formal-agent-contracts | Verified Skill