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