| { |
| "name": "get_deployment", |
| "description": "Get a specific deployment by ID or URL.", |
| "inputSchema": { |
| "type": "object", |
| "properties": { |
| "idOrUrl": { |
| "type": "string", |
| "description": "The unique identifier or hostname of the deployment." |
| }, |
| "teamId": { |
| "type": "string", |
| "description": "The team ID to get the deployment events for. Alternatively the team slug can be used.\nTeam IDs start with \"team_\".\nIf you do not know the team ID or slug, it can be found through these mechanism:\n- Read the file .vercel/project.json if it exists and extract the orgId\n- Use the `list_teams` tool" |
| } |
| }, |
| "required": [ |
| "idOrUrl", |
| "teamId" |
| ], |
| "additionalProperties": false, |
| "$schema": "http://json-schema.org/draft-07/schema#" |
| } |
| } |