Make Claude Code, Cursor, Codex, Gemini CLI, Copilot and 10 more agents threat-model, review and verify their work