| 1 | //! The MCP server's tools: a few resource tools, each with an `action`. |
| 2 | //! |
| 3 | //! Every operation is one action of one tool. A call is dispatched to the |
| 4 | //! operation it names, so permissions, the audit log, billing and outcomes |
| 5 | //! are exactly those of the REST API. A token sees only the actions its |
| 6 | //! scopes allow, and a tool none of whose actions it may use is not listed. |
| 7 | //! |
| 8 | //! The listed input schema is one flat object: `action`, then every field |
| 9 | //! any of its actions takes. Which fields each action needs is in the |
| 10 | //! `action` field's description and checked on every call. Claude's API, |
| 11 | //! and so most MCP clients, refuse a tool whose input schema has `oneOf` |
| 12 | //! at its top level, so the schema keyed by action, with each action's |
| 13 | //! required fields, is [`discriminated`], published on the server's card |
| 14 | //! and in the docs. |
| 15 | |
| 16 | use g1t_contracts::credentials::NEVER; |
| 17 | use g1t_contracts::identity::AgentScope; |
| 18 | use g1t_contracts::scopes::{Level, NO_SCOPE, TokenAccess, scope_for}; |
| 19 | use serde_json::{Map, Value, json}; |
| 20 | |
| 21 | use crate::about::AboutOp; |
| 22 | use crate::artifacts::ArtifactsOp; |
| 23 | use crate::deployments::DeploymentsOp; |
| 24 | use crate::operations::Op; |
| 25 | use crate::checks::ChecksOp; |
| 26 | use crate::rules::RulesOp; |
| 27 | use crate::security::SecurityOp; |
| 28 | |
| 29 | pub struct Action { |
| 30 | pub name: &'static str, |
| 31 | pub op: Op, |
| 32 | /// One line, for the `action` field's description. |
| 33 | pub summary: &'static str, |
| 34 | } |
| 35 | |
| 36 | pub struct Tool { |
| 37 | pub name: &'static str, |
| 38 | pub title: &'static str, |
| 39 | /// What it is for, in a sentence or two. |
| 40 | pub description: &'static str, |
| 41 | pub actions: &'static [Action], |
| 42 | /// The action a call without one runs. |
| 43 | pub default_action: Option<&'static str>, |
| 44 | } |
| 45 | |
| 46 | const fn a(name: &'static str, op: Op, summary: &'static str) -> Action { |
| 47 | Action { name, op, summary } |
| 48 | } |
| 49 | |
| 50 | pub const TOOLS: &[Tool] = &[ |
| 51 | Tool { |
| 52 | name: "search", |
| 53 | title: "Search", |
| 54 | description: "Find things. `code` (the default) searches all of g1t you can see: repositories, code, issues, pull requests and people, with qualifiers like repo:owner/name, language:rust, is:issue. `context` searches one workspace's catalog, docs, issues and memory by meaning.", |
| 55 | default_action: Some("code"), |
| 56 | actions: &[ |
| 57 | a("code", Op::Search, "Search all of g1t: repositories, code, issues, pull requests, people"), |
| 58 | a("context", Op::SearchContext, "Search a workspace's context hub by meaning"), |
| 59 | a("entity", Op::GetEntity, "One catalog entry and its relations"), |
| 60 | a("ticket", Op::GetContext, "A Jira, Linear or Sentry item the work refers to, as it is now"), |
| 61 | ], |
| 62 | }, |
| 63 | Tool { |
| 64 | name: "repository", |
| 65 | title: "Repositories", |
| 66 | description: "Repositories: find, read and create them, change their settings and rulesets (what may happen to branches and tags, and what a pull request needs to merge), check their CODEOWNERS file, manage their labels and milestones, see and dismiss their security alerts (secrets and vulnerable dependencies), read what their default branch says (languages, contributors, license), star them, and publish releases. Name one as \"owner/name\". Deleting, transferring and changing visibility need `confirm`.", |
| 67 | default_action: None, |
| 68 | actions: &[ |
| 69 | a("list", Op::ListRepos, "Repositories you can see"), |
| 70 | a("get", Op::GetRepo, "One repository"), |
| 71 | a("create", Op::CreateRepo, "Create one, empty or copied from a public git URL"), |
| 72 | a("update", Op::UpdateRepo, "Change description, website, topics, default branch, protection"), |
| 73 | a("get_settings", Op::GetRepoSettings, "How pull requests merge, and the default branch's protection as its rules stack"), |
| 74 | a("update_settings", Op::UpdateRepoSettings, "Change how pull requests merge and the default branch protection ruleset"), |
| 75 | a("check_names", Op::ListCheckNames, "Check names reported lately, to require in a ruleset"), |
| 76 | a("list_rulesets", Op::Rules(RulesOp::ListRepoRulesets), "Its rulesets, and its workspace's that hold in it"), |
| 77 | a("get_ruleset", Op::Rules(RulesOp::GetRepoRuleset), "One ruleset"), |
| 78 | a("create_ruleset", Op::Rules(RulesOp::CreateRepoRuleset), "Create a ruleset for its branches or tags"), |
| 79 | a("update_ruleset", Op::Rules(RulesOp::UpdateRepoRuleset), "Change a ruleset"), |
| 80 | a("delete_ruleset", Op::Rules(RulesOp::DeleteRepoRuleset), "Delete a ruleset"), |
| 81 | a("branch_rules", Op::Rules(RulesOp::GetBranchRules), "Every rule that holds for a branch or tag, and where it comes from"), |
| 82 | a("rule_evaluations", Op::Rules(RulesOp::ListRuleEvaluations), "How its rules judged pushes and merges, with insights"), |
| 83 | a("codeowners", Op::GetCodeownersErrors, "Problems in its CODEOWNERS file, by line"), |
| 84 | a("list_labels", Op::ListLabels, "Labels, with colors and how many issues and pull requests carry each"), |
| 85 | a("create_label", Op::CreateLabel, "Create a label"), |
| 86 | a("update_label", Op::UpdateLabel, "Rename a label or change its color or description"), |
| 87 | a("delete_label", Op::DeleteLabel, "Delete a label, from everything that carries it"), |
| 88 | a("add_default_labels", Op::AddDefaultLabels, "Add the default labels it is missing"), |
| 89 | a("list_milestones", Op::ListMilestones, "Milestones, with progress and due dates"), |
| 90 | a("get_milestone", Op::GetMilestone, "One milestone with its issues and pull requests"), |
| 91 | a("create_milestone", Op::CreateMilestone, "Create a milestone"), |
| 92 | a("update_milestone", Op::UpdateMilestone, "Change a milestone's title, description, due date or state"), |
| 93 | a("delete_milestone", Op::DeleteMilestone, "Delete a milestone"), |
| 94 | a("list_events", Op::ListEvents, "Timeline: pushes, issues, pull requests, comments"), |
| 95 | a("languages", Op::About(AboutOp::GetLanguages), "Its languages by bytes, with colors and percentages"), |
| 96 | a("contributors", Op::About(AboutOp::ListContributors), "Who made it: commits per person, agent and author, by week"), |
| 97 | a("license", Op::About(AboutOp::GetLicense), "The license its LICENSE file holds"), |
| 98 | a("stargazers", Op::About(AboutOp::ListStargazers), "Who starred it"), |
| 99 | a("starred", Op::About(AboutOp::CheckStarred), "Whether you starred it, and how many have"), |
| 100 | a("star", Op::About(AboutOp::Star), "Star it"), |
| 101 | a("unstar", Op::About(AboutOp::Unstar), "Take your star back"), |
| 102 | a("list_starred", Op::About(AboutOp::ListStarred), "Repositories you starred"), |
| 103 | a("list_releases", Op::About(AboutOp::ListReleases), "Releases, newest first"), |
| 104 | a("latest_release", Op::About(AboutOp::GetLatestRelease), "The latest release"), |
| 105 | a("get_release", Op::About(AboutOp::GetRelease), "One release by id"), |
| 106 | a("get_release_by_tag", Op::About(AboutOp::GetReleaseByTag), "The release of a tag"), |
| 107 | a("create_release", Op::About(AboutOp::CreateRelease), "Publish a release of a tag, making the tag if needed"), |
| 108 | a("update_release", Op::About(AboutOp::UpdateRelease), "Change a release's title, notes, draft or prerelease"), |
| 109 | a("delete_release", Op::About(AboutOp::DeleteRelease), "Delete a release; its tag stays"), |
| 110 | a("rename_branch", Op::RenameBranch, "Rename a branch"), |
| 111 | a("rename", Op::RenameRepo, "Rename it; old addresses redirect"), |
| 112 | a("transfer", Op::TransferRepo, "Move it to another workspace you own"), |
| 113 | a("archive", Op::ArchiveRepo, "Make it read-only"), |
| 114 | a("unarchive", Op::UnarchiveRepo, "Make it writable again"), |
| 115 | a("set_visibility", Op::SetRepoVisibility, "Make it public or private"), |
| 116 | a("delete", Op::DeleteRepo, "Delete it; restorable for 30 days"), |
| 117 | a("list_deleted", Op::ListDeletedRepos, "A workspace's deleted repositories"), |
| 118 | a("restore", Op::RestoreRepo, "Restore a deleted one"), |
| 119 | a("purge", Op::PurgeRepo, "Remove a deleted one for good"), |
| 120 | a("security_alerts", Op::ListSecurityAlerts, "Secret and dependency alerts, filtered by state"), |
| 121 | a("dismiss_alert", Op::DismissSecurityAlert, "Dismiss an alert with a reason"), |
| 122 | a("reopen_alert", Op::ReopenSecurityAlert, "Reopen a dismissed alert"), |
| 123 | ], |
| 124 | }, |
| 125 | Tool { |
| 126 | name: "issue", |
| 127 | title: "Issues", |
| 128 | description: "Issues: what should change. Read one before working on it to see the pull requests already made for it. Issues and pull requests share numbers; `comment` works on either.", |
| 129 | default_action: None, |
| 130 | actions: &[ |
| 131 | a("list", Op::ListIssues, "Issues on a repository, newest first"), |
| 132 | a("get", Op::GetIssue, "One issue with comments and its pull requests"), |
| 133 | a("create", Op::CreateIssue, "Open an issue"), |
| 134 | a("update", Op::UpdateIssue, "Change title, body, labels, milestone or assignees"), |
| 135 | a("labels", Op::ListIssueLabels, "The labels an issue or pull request carries"), |
| 136 | a("add_labels", Op::AddIssueLabels, "Add labels to an issue or pull request"), |
| 137 | a("set_labels", Op::SetIssueLabels, "Replace the labels of an issue or pull request"), |
| 138 | a("remove_labels", Op::RemoveIssueLabels, "Take labels off an issue or pull request"), |
| 139 | a("close", Op::CloseIssue, "Close it without a pull request"), |
| 140 | a("reopen", Op::ReopenIssue, "Reopen it"), |
| 141 | a("comment", Op::AddComment, "Comment on an issue or pull request; path and line for one line of a change"), |
| 142 | a("import", Op::ImportIssue, "Open an issue from a Jira, Linear or Sentry item"), |
| 143 | ], |
| 144 | }, |
| 145 | Tool { |
| 146 | name: "pull_request", |
| 147 | title: "Pull requests", |
| 148 | description: "Pull requests: start a change for an issue, record your session, mark it ready, ask people and teams to review, review and merge. Read `overlaps` and `behind` on `get` before going far, and `code_owners` for whose approval it needs.", |
| 149 | default_action: None, |
| 150 | actions: &[ |
| 151 | a("list", Op::ListPullRequests, "Pull requests on a repository, newest first"), |
| 152 | a("get", Op::GetPullRequest, "Status, checks and required checks, reviews, overlaps, whether it is behind"), |
| 153 | a("changes", Op::GetPullRequestChanges, "Files and line-by-line diff"), |
| 154 | a("create", Op::CreatePullRequest, "Start a draft with its own fork to push to, or open one from a pushed branch"), |
| 155 | a("update", Op::UpdatePullRequest, "Change its base branch, labels, milestone, assignees or reviewers"), |
| 156 | a("record_session", Op::RecordSession, "Append prompt, reasoning and tool entries to its session"), |
| 157 | a("read_session", Op::ReadSession, "Its recorded session"), |
| 158 | a("ready", Op::MarkPullRequestReady, "Mark a draft ready, with a summary"), |
| 159 | a("request_reviewers", Op::RequestReviewers, "Ask people or teams to review it"), |
| 160 | a("remove_requested_reviewers", Op::RemoveRequestedReviewers, "Stop asking people or teams to review it"), |
| 161 | a("review", Op::ReviewPullRequest, "Approve or request changes"), |
| 162 | a("close", Op::ClosePullRequest, "Close without merging"), |
| 163 | a("merge", Op::MergePullRequest, "Land it, or join the merge queue"), |
| 164 | a("merge_queue", Op::GetMergeQueue, "The repository's merge queue"), |
| 165 | ], |
| 166 | }, |
| 167 | Tool { |
| 168 | name: "agent", |
| 169 | title: "g1t agents", |
| 170 | description: "Put g1t's agent to work and talk to it. One agent per issue; to do more at once, use more issues. Starting an agent uses the workspace's money.", |
| 171 | default_action: None, |
| 172 | actions: &[ |
| 173 | a("delegate", Op::Delegate, "Open an issue and put an agent on it in one step"), |
| 174 | a("assign", Op::AssignIssue, "Put an agent on an existing issue"), |
| 175 | a("message", Op::MessageAgent, "Tell the agent on a pull request something, or ask another agent"), |
| 176 | a("answer", Op::AnswerMessage, "Answer a question or handoff sent to you"), |
| 177 | a("take_messages", Op::TakeMessages, "For a g1t agent: messages not seen yet"), |
| 178 | ], |
| 179 | }, |
| 180 | Tool { |
| 181 | name: "plan", |
| 182 | title: "Plans", |
| 183 | description: "Turn an outcome into issues: an agent proposes them with what done means and their dependencies; nothing opens until you apply the plan.", |
| 184 | default_action: None, |
| 185 | actions: &[ |
| 186 | a("create", Op::PlanWork, "Ask an agent for a plan; read it with get until ready"), |
| 187 | a("get", Op::GetPlan, "A plan and the issues it proposes"), |
| 188 | a("apply", Op::ApplyPlan, "Open its issues; with assign, agents start in dependency order"), |
| 189 | ], |
| 190 | }, |
| 191 | Tool { |
| 192 | name: "memory", |
| 193 | title: "Memory", |
| 194 | description: "What the project and its workspace remember for the next agent: how to build, conventions, decisions, traps. Recall before you start; remember one short fact at a time, never a secret.", |
| 195 | default_action: None, |
| 196 | actions: &[ |
| 197 | a("recall", Op::Recall, "Search memory, or list it all"), |
| 198 | a("remember", Op::Remember, "Save one fact"), |
| 199 | ], |
| 200 | }, |
| 201 | Tool { |
| 202 | name: "workflow", |
| 203 | title: "Workflows", |
| 204 | description: "GitHub Actions workflows from .g1t/workflows: their runs, jobs and logs, and running, cancelling or rerunning them. Runs' artifacts: listing, a download link, deleting, and how long they are kept. Deployments wherever they run (reported from any CI, made by jobs with an `environment:`, or built on g1t.page), their statuses and environments, and reporting your own. Checks on commits: statuses, check runs (a g1t Actions job is one) and check suites, to read where a commit stands or report on it from CI or an integration. Also the self-hosted runners they run on: a workspace's (`workspace`) or a repository's own (`repo`), their groups, and where agent work runs.", |
| 205 | default_action: None, |
| 206 | actions: &[ |
| 207 | a("list", Op::ListWorkflows, "Workflows on the default branch"), |
| 208 | a("list_runs", Op::ListWorkflowRuns, "Runs, newest first"), |
| 209 | a("get_run", Op::GetWorkflowRun, "One run with its jobs and steps"), |
| 210 | a("job_logs", Op::GetJobLogs, "A job's log after a sequence number"), |
| 211 | a("dispatch", Op::DispatchWorkflow, "Run a workflow_dispatch workflow"), |
| 212 | a("cancel", Op::CancelWorkflowRun, "Cancel a run"), |
| 213 | a("rerun", Op::RerunWorkflowRun, "Run a finished run again"), |
| 214 | a("update", Op::UpdateWorkflow, "Turn a workflow on or off"), |
| 215 | a("list_artifacts", Op::Artifacts(ArtifactsOp::ListArtifacts), "A repository's artifacts, newest first; or a run's with run_artifacts"), |
| 216 | a("run_artifacts", Op::Artifacts(ArtifactsOp::ListRunArtifacts), "One run's artifacts"), |
| 217 | a("get_artifact", Op::Artifacts(ArtifactsOp::GetArtifact), "One artifact: size, digest, expiry, run"), |
| 218 | a("download_artifact", Op::Artifacts(ArtifactsOp::DownloadArtifact), "A 10-minute link to an artifact's zip"), |
| 219 | a("delete_artifact", Op::Artifacts(ArtifactsOp::DeleteArtifact), "Delete an artifact before it expires"), |
| 220 | a("artifact_retention", Op::Artifacts(ArtifactsOp::GetArtifactRetention), "Days the repository keeps artifacts"), |
| 221 | a("set_artifact_retention", Op::Artifacts(ArtifactsOp::SetArtifactRetention), "Change the days the repository keeps artifacts"), |
| 222 | a("combined_status", Op::Checks(ChecksOp::GetCombinedStatus), "A commit's statuses and the state they add up to"), |
| 223 | a("list_statuses", Op::Checks(ChecksOp::ListCommitStatuses), "A commit's statuses, newest first"), |
| 224 | a("set_status", Op::Checks(ChecksOp::CreateCommitStatus), "Set a status on a commit"), |
| 225 | a("list_check_runs", Op::Checks(ChecksOp::ListCheckRunsForRef), "A commit's check runs, g1t Actions jobs included"), |
| 226 | a("get_check_run", Op::Checks(ChecksOp::GetCheckRun), "One check run with its report"), |
| 227 | a("check_run_annotations", Op::Checks(ChecksOp::ListCheckRunAnnotations), "What a check run says about lines of files"), |
| 228 | a("create_check_run", Op::Checks(ChecksOp::CreateCheckRun), "Report a check run on a commit"), |
| 229 | a("update_check_run", Op::Checks(ChecksOp::UpdateCheckRun), "Move a check run on, complete it, add annotations"), |
| 230 | a("rerequest_check_run", Op::Checks(ChecksOp::RerequestCheckRun), "Ask for a check run to run again"), |
| 231 | a("list_check_suites", Op::Checks(ChecksOp::ListCheckSuitesForRef), "A commit's check suites, one per reporter or workflow run"), |
| 232 | a("get_check_suite", Op::Checks(ChecksOp::GetCheckSuite), "One check suite"), |
| 233 | a("rerequest_check_suite", Op::Checks(ChecksOp::RerequestCheckSuite), "Ask for a check suite to run again"), |
| 234 | a("list_deployments", Op::Deployments(DeploymentsOp::ListDeployments), "Deployments wherever they run, newest first, filtered"), |
| 235 | a("get_deployment", Op::Deployments(DeploymentsOp::GetDeployment), "One deployment with every status it has had"), |
| 236 | a("create_deployment", Op::Deployments(DeploymentsOp::CreateDeployment), "Report a deployment of a ref to an environment"), |
| 237 | a("deployment_statuses", Op::Deployments(DeploymentsOp::ListDeploymentStatuses), "A deployment's statuses, newest first"), |
| 238 | a("create_deployment_status", Op::Deployments(DeploymentsOp::CreateDeploymentStatus), "Report where a deployment is: in_progress, success, failure"), |
| 239 | a("list_environments", Op::Deployments(DeploymentsOp::ListEnvironments), "Environments with their current and latest deployments"), |
| 240 | a("get_environment", Op::Deployments(DeploymentsOp::GetEnvironment), "One environment by name"), |
| 241 | a("list_runners", Op::ListRunners, "Self-hosted runners, with status, labels and what each is doing"), |
| 242 | a("create_runner_token", Op::CreateRunnerRegistrationToken, "A one-hour token for g1t-runner register"), |
| 243 | a("remove_runner", Op::RemoveRunner, "Remove a self-hosted runner"), |
| 244 | a("list_runner_groups", Op::ListRunnerGroups, "A workspace's runner groups"), |
| 245 | a("create_runner_group", Op::CreateRunnerGroup, "Make a group, for some repositories"), |
| 246 | a("update_runner_group", Op::UpdateRunnerGroup, "Rename a group or change its repositories"), |
| 247 | a("delete_runner_group", Op::DeleteRunnerGroup, "Delete a group; its runners join the default"), |
| 248 | a("get_runner_settings", Op::GetRunnerSettings, "Where agent work runs; whether forks may use runners"), |
| 249 | a("update_runner_settings", Op::UpdateRunnerSettings, "Change them"), |
| 250 | ], |
| 251 | }, |
| 252 | Tool { |
| 253 | name: "secret", |
| 254 | title: "Secrets and variables", |
| 255 | description: "A repository's or workspace's secrets and variables, read by workflows and deployments. Secret values are never returned.", |
| 256 | default_action: None, |
| 257 | actions: &[ |
| 258 | a("list_secrets", Op::ListActionsSecrets, "Secrets, without values"), |
| 259 | a("set_secret", Op::SetActionsSecret, "Add or change a secret"), |
| 260 | a("delete_secret", Op::DeleteActionsSecret, "Remove a secret"), |
| 261 | a("list_variables", Op::ListActionsVariables, "Variables, with values"), |
| 262 | a("set_variable", Op::SetActionsVariable, "Add or change a variable"), |
| 263 | a("delete_variable", Op::DeleteActionsVariable, "Remove a variable"), |
| 264 | ], |
| 265 | }, |
| 266 | Tool { |
| 267 | name: "webhook", |
| 268 | title: "Webhooks", |
| 269 | description: "HTTPS addresses sent signed events as they happen, for a repository or a whole workspace.", |
| 270 | default_action: None, |
| 271 | actions: &[ |
| 272 | a("list", Op::ListWebhooks, "Webhooks, without secrets"), |
| 273 | a("create", Op::CreateWebhook, "Register one; a ping is sent"), |
| 274 | a("update", Op::UpdateWebhook, "Change address, events or active"), |
| 275 | a("delete", Op::DeleteWebhook, "Remove one"), |
| 276 | a("ping", Op::PingWebhook, "Send a ping"), |
| 277 | a("list_deliveries", Op::ListWebhookDeliveries, "Latest deliveries"), |
| 278 | a("redeliver", Op::RedeliverWebhook, "Send a delivery again"), |
| 279 | ], |
| 280 | }, |
| 281 | Tool { |
| 282 | name: "access", |
| 283 | title: "Who has access", |
| 284 | description: "Who has access to a repository and with which role (read, triage, write, maintain, admin), outside collaborators, and a workspace's base permission.", |
| 285 | default_action: None, |
| 286 | actions: &[ |
| 287 | a("list_collaborators", Op::ListCollaborators, "Everyone with a role, and pending invitations"), |
| 288 | a("get_permission", Op::GetCollaboratorPermission, "One person's role and capabilities"), |
| 289 | a("add_collaborator", Op::AddCollaborator, "Give someone a role, by username or email"), |
| 290 | a("update_collaborator", Op::UpdateCollaborator, "Change a direct role"), |
| 291 | a("remove_collaborator", Op::RemoveCollaborator, "Take away a direct role"), |
| 292 | a("list_invitations", Op::ListRepoInvitations, "Pending invitations to a repository"), |
| 293 | a("revoke_invitation", Op::RevokeRepoInvitation, "Withdraw one"), |
| 294 | a("set_base_permission", Op::SetBasePermission, "What every member gets on each repository"), |
| 295 | a("list_outside_collaborators", Op::ListOutsideCollaborators, "People with roles who are not members"), |
| 296 | ], |
| 297 | }, |
| 298 | Tool { |
| 299 | name: "team", |
| 300 | title: "Teams", |
| 301 | description: "Teams: groups of a workspace's members, given roles on repositories together, mentioned as @workspace/team and asked to review together. Name one by `workspace` and its slug (`team`). Any member may create a team; the workspace's owners and the team's maintainers manage it. A secret team is seen only by its people and the owners.", |
| 302 | default_action: None, |
| 303 | actions: &[ |
| 304 | a("list", Op::ListTeams, "A workspace's teams you can see"), |
| 305 | a("get", Op::GetTeam, "One team"), |
| 306 | a("create", Op::CreateTeam, "Create a team; you become its maintainer"), |
| 307 | a("update", Op::UpdateTeam, "Change its name, slug, description, visibility, parent or notifications"), |
| 308 | a("delete", Op::DeleteTeam, "Delete it; its child teams move up"), |
| 309 | a("list_members", Op::ListTeamMembers, "Its people and their roles, child teams' with include_child_teams"), |
| 310 | a("set_member", Op::SetTeamMember, "Add a member of the workspace, or change their role"), |
| 311 | a("remove_member", Op::RemoveTeamMember, "Take someone out of it"), |
| 312 | a("list_child_teams", Op::ListChildTeams, "The teams nested under it"), |
| 313 | a("list_repos", Op::ListTeamRepos, "The repositories it has a role on"), |
| 314 | a("set_repo", Op::SetTeamRepo, "Give it a role on a repository"), |
| 315 | a("remove_repo", Op::RemoveTeamRepo, "Take its role on a repository away"), |
| 316 | a("set_review_assignment", Op::SetTeamReviewAssignment, "Whom it picks when asked to review"), |
| 317 | a("list_user_teams", Op::ListUserTeams, "The teams someone is in"), |
| 318 | ], |
| 319 | }, |
| 320 | Tool { |
| 321 | name: "workspace", |
| 322 | title: "Workspaces", |
| 323 | description: "Workspaces own repositories (g1t.sh/{workspace}/{repo}): create, update or delete one, invite members, connect integrations and model providers, set rulesets that hold across its repositories, read and change its projects (what each is, where it runs, its links), and keep your own pinned projects at the top of its sidebar.", |
| 324 | default_action: None, |
| 325 | actions: &[ |
| 326 | a("get", Op::GetWorkspace, "A workspace's details and settings"), |
| 327 | a("create", Op::CreateWorkspace, "Create a workspace"), |
| 328 | a("delete", Op::DeleteWorkspace, "Delete a workspace and everything in it (support can restore it for 30 days)"), |
| 329 | a("update", Op::UpdateWorkspace, "Change its name, description, base permission or who may create teams"), |
| 330 | a("list_invites", Op::ListWorkspaceInvites, "Its invites"), |
| 331 | a("invite_member", Op::InviteMember, "Invite an email address"), |
| 332 | a("revoke_invite", Op::RevokeWorkspaceInvite, "Revoke a pending invite"), |
| 333 | a("list_integrations", Op::ListIntegrations, "Model providers, alert sources, trackers"), |
| 334 | a("connect_integration", Op::ConnectIntegration, "Connect one"), |
| 335 | a("update_integration", Op::UpdateIntegration, "Change one: rotate its key, choose its AI Gateway models"), |
| 336 | a("disconnect_integration", Op::DisconnectIntegration, "Remove one"), |
| 337 | a("test_integration", Op::TestIntegration, "Check its credentials"), |
| 338 | a("get_model_routes", Op::GetModelRoutes, "Where each kind of work's model requests go"), |
| 339 | a("set_model_routes", Op::SetModelRoutes, "Replace them"), |
| 340 | a("list_projects", Op::ListProjects, "Its projects you can see: what each is, where it runs, its links"), |
| 341 | a("get_project", Op::GetProject, "One project"), |
| 342 | a("update_project", Op::UpdateProject, "Change a project's name, description, kind, where it runs or its links"), |
| 343 | a("list_pinned_projects", Op::ListPinnedProjects, "Your pinned projects in it, in your order"), |
| 344 | a("pin_project", Op::PinProject, "Pin a project, at a position or the end"), |
| 345 | a("unpin_project", Op::UnpinProject, "Unpin a project"), |
| 346 | a("reorder_pinned_projects", Op::ReorderPinnedProjects, "Put your pins in a new order"), |
| 347 | a("list_rulesets", Op::Rules(RulesOp::ListWorkspaceRulesets), "Its rulesets, which hold across its repositories"), |
| 348 | a("get_ruleset", Op::Rules(RulesOp::GetWorkspaceRuleset), "One of its rulesets"), |
| 349 | a("create_ruleset", Op::Rules(RulesOp::CreateWorkspaceRuleset), "Create a ruleset for some or all of its repositories"), |
| 350 | a("update_ruleset", Op::Rules(RulesOp::UpdateWorkspaceRuleset), "Change one of its rulesets"), |
| 351 | a("delete_ruleset", Op::Rules(RulesOp::DeleteWorkspaceRuleset), "Delete one of its rulesets"), |
| 352 | a("rule_evaluations", Op::Rules(RulesOp::ListWorkspaceRuleEvaluations), "How rules judged changes across its repositories"), |
| 353 | ], |
| 354 | }, |
| 355 | Tool { |
| 356 | name: "billing", |
| 357 | title: "Billing", |
| 358 | description: "A workspace's billing: its usage by product, project and day, its budget (the monthly spend limit, alerts and whether usage pauses at it), its AI credit, its invoices, and its AI Gateway requests. Amounts are whole millionths of a dollar (`_micros`), or cents (`_cents`) where named. Members read it; changing the budget and buying credit are for owners, as people, and never for g1t's agents.", |
| 359 | default_action: Some("usage"), |
| 360 | actions: &[ |
| 361 | a("usage", Op::GetUsage, "Usage over a range of days, by product, meter, project and day, and what paid for it"), |
| 362 | a("budget", Op::GetBudget, "The monthly spend limit, what was spent, alerts and whether usage pauses at the limit"), |
| 363 | a("set_budget", Op::SetBudget, "Change the spend limit, alerts, pausing or the alert webhook"), |
| 364 | a("ai_credit", Op::GetAiCredit, "AI credit left, its grants, auto-reload and how to buy more"), |
| 365 | a("buy_ai_credit", Op::BuyAiCredit, "A payment page to buy AI credit, for a person to open"), |
| 366 | a("invoices", Op::ListInvoices, "Every invoice, the itemised usage invoices, and the next one so far"), |
| 367 | a("billing_details", Op::GetBillingDetails, "Who invoices are made out to and the payment method on file"), |
| 368 | a("gateway_requests", Op::ListGatewayRequests, "Recent AI Gateway requests: model, tokens, cost, status and token"), |
| 369 | ], |
| 370 | }, |
| 371 | Tool { |
| 372 | name: "security", |
| 373 | title: "Security", |
| 374 | description: "A repository's security: secret scanning alerts and push protection bypasses, custom secret patterns, code scanning alerts and SARIF uploads, vulnerability alerts, the dependency graph and its SBOM, dependency review, settings, and a workspace's overview. Fix an alert with g1t. Findings are shown to those who can change the code only. Give `repo` (owner/name), or `workspace` for lists across one.", |
| 375 | default_action: Some("secret_alerts"), |
| 376 | actions: &[ |
| 377 | a("secret_alerts", Op::Security(SecurityOp::ListSecretAlerts), "Secret scanning alerts; by state, secret_type, validity, bypassed"), |
| 378 | a("secret_alert", Op::Security(SecurityOp::GetSecretAlert), "One secret alert, with where it was found and its bypass requests"), |
| 379 | a("update_secret_alert", Op::Security(SecurityOp::UpdateSecretAlert), "Dismiss a secret alert with a reason, or reopen it"), |
| 380 | a("secret_locations", Op::Security(SecurityOp::ListSecretLocations), "Every file, line and commit a secret is in"), |
| 381 | a("bypass", Op::Security(SecurityOp::BypassPushProtection), "Push past push protection with a reason, or ask to"), |
| 382 | a("check_validity", Op::Security(SecurityOp::CheckSecretValidity), "Ask a secret's issuer whether it still works"), |
| 383 | a("bypass_requests", Op::Security(SecurityOp::ListBypassRequests), "A workspace's push protection bypass requests"), |
| 384 | a("review_bypass", Op::Security(SecurityOp::ReviewBypassRequest), "Approve, deny or cancel a bypass request"), |
| 385 | a("patterns", Op::Security(SecurityOp::ListCustomPatterns), "Custom secret patterns of a repository or workspace"), |
| 386 | a("create_pattern", Op::Security(SecurityOp::CreateCustomPattern), "Create a custom secret pattern, as a draft or published"), |
| 387 | a("update_pattern", Op::Security(SecurityOp::UpdateCustomPattern), "Change, publish or unpublish a custom pattern"), |
| 388 | a("delete_pattern", Op::Security(SecurityOp::DeleteCustomPattern), "Delete a custom pattern"), |
| 389 | a("dry_run_pattern", Op::Security(SecurityOp::DryRunCustomPattern), "Run a pattern over the default branch without saving it"), |
| 390 | a("code_alerts", Op::Security(SecurityOp::ListCodeAlerts), "Code scanning alerts; by state, severity, tool, rule_id"), |
| 391 | a("code_alert", Op::Security(SecurityOp::GetCodeAlert), "One code scanning alert by number"), |
| 392 | a("update_code_alert", Op::Security(SecurityOp::UpdateCodeAlert), "Dismiss a code scanning alert with a reason, or reopen it"), |
| 393 | a("analyses", Op::Security(SecurityOp::ListAnalyses), "Code scanning analyses, newest first"), |
| 394 | a("upload_sarif", Op::Security(SecurityOp::UploadSarif), "Upload a SARIF file, gzipped and base64-encoded"), |
| 395 | a("sarif_upload", Op::Security(SecurityOp::GetSarifUpload), "Whether a SARIF upload was read, and its analyses"), |
| 396 | a("vulnerability_alerts", Op::Security(SecurityOp::ListVulnerabilityAlerts), "Vulnerable dependencies; by state, severity, ecosystem, package"), |
| 397 | a("vulnerability_alert", Op::Security(SecurityOp::GetVulnerabilityAlert), "One vulnerability alert"), |
| 398 | a("update_vulnerability_alert", Op::Security(SecurityOp::UpdateVulnerabilityAlert), "Dismiss a vulnerability alert with a reason, or reopen it"), |
| 399 | a("fix", Op::Security(SecurityOp::FixAlert), "Put g1t on an issue to fix an alert"), |
| 400 | a("dependency_graph", Op::Security(SecurityOp::GetDependencyGraph), "Every package the lockfiles resolve, direct or transitive"), |
| 401 | a("sbom", Op::Security(SecurityOp::GetSbom), "The dependency graph as an SPDX 2.3 document"), |
| 402 | a("compare_dependencies", Op::Security(SecurityOp::CompareDependencies), "What changes in dependencies between base...head"), |
| 403 | a("settings", Op::Security(SecurityOp::GetSettings), "A repository's security settings"), |
| 404 | a("update_settings", Op::Security(SecurityOp::UpdateSettings), "Change when checks fail and dependency review's policy"), |
| 405 | a("workspace_settings", Op::Security(SecurityOp::GetWorkspaceSettings), "A workspace's delegated bypass and validity checks"), |
| 406 | a("update_workspace_settings", Op::Security(SecurityOp::UpdateWorkspaceSettings), "Turn delegated bypass or validity checks on or off"), |
| 407 | a("overview", Op::Security(SecurityOp::GetOverview), "A workspace's alerts, trends and coverage"), |
| 408 | ], |
| 409 | }, |
| 410 | Tool { |
| 411 | name: "notifications", |
| 412 | title: "Notifications", |
| 413 | description: "Your inbox: what needs you, and what you follow. One thread per issue, pull request, workflow or deployment, with why you were told (`reason`): an agent waiting on you, a review asked of you, an assignment, a mention, your work's checks, or what you subscribe to and watch. Mark threads read or done once handled, and choose what you hear of with subscribe, unsubscribe and watch. Your own: a personal token.", |
| 414 | default_action: Some("list"), |
| 415 | actions: &[ |
| 416 | a("list", Op::ListNotifications, "Unread threads, latest first; all, a view, a reason, a repository"), |
| 417 | a("get", Op::GetNotificationThread, "One thread with its recent activity and your subscription"), |
| 418 | a("mark_read", Op::MarkThreadRead, "Mark a thread read, or unread"), |
| 419 | a("mark_all_read", Op::MarkNotificationsRead, "Mark everything read up to a time, or one repository's"), |
| 420 | a("done", Op::MarkThreadDone, "Mark a thread done; new activity brings it back"), |
| 421 | a("save", Op::SaveThread, "Save a thread, or unsave it"), |
| 422 | a("snooze", Op::SnoozeThread, "Snooze a thread until a time, or bring it back"), |
| 423 | a("subscription", Op::GetThreadSubscription, "Your subscription to an issue or pull request"), |
| 424 | a("subscribe", Op::SetThreadSubscription, "Subscribe to an issue or pull request, or ignore it"), |
| 425 | a("unsubscribe", Op::DeleteThreadSubscription, "Unsubscribe until you comment or are mentioned"), |
| 426 | a("watching", Op::GetRepoSubscription, "How you watch a repository"), |
| 427 | a("watch", Op::SetRepoSubscription, "Watch a repository: participating, all, ignore or custom"), |
| 428 | a("unwatch", Op::DeleteRepoSubscription, "Stop watching a repository"), |
| 429 | a("watched", Op::ListWatchedRepos, "Repositories you watch other than the default way"), |
| 430 | ], |
| 431 | }, |
| 432 | Tool { |
| 433 | name: "account", |
| 434 | title: "Your account", |
| 435 | description: "Who this token acts as and its workspaces (`whoami`), your email addresses, your invites, and invitations to repositories waiting for you.", |
| 436 | default_action: Some("whoami"), |
| 437 | actions: &[ |
| 438 | a("whoami", Op::Whoami, "Who the token acts as, and its workspaces"), |
| 439 | a("list_emails", Op::ListEmails, "Your addresses"), |
| 440 | a("add_email", Op::AddEmail, "Add an address"), |
| 441 | a("remove_email", Op::RemoveEmail, "Remove an address"), |
| 442 | a("update_email_settings", Op::UpdateEmailSettings, "Primary, backup and privacy"), |
| 443 | a("list_invites", Op::ListInvites, "Your invites to g1t"), |
| 444 | a("create_invite", Op::CreateInvite, "Make an invite"), |
| 445 | a("revoke_invite", Op::RevokeInvite, "Revoke one"), |
| 446 | a("list_repository_invitations", Op::ListMyRepoInvitations, "Invitations to repositories for you"), |
| 447 | a("accept_repository_invitation", Op::AcceptRepoInvitation, "Accept one"), |
| 448 | a("decline_repository_invitation", Op::DeclineRepoInvitation, "Decline one"), |
| 449 | ], |
| 450 | }, |
| 451 | ]; |
| 452 | |
| 453 | /// Operations that cannot be undone, or reach beyond g1t's own records: |
| 454 | /// clients ask before running a tool that has any of them. |
| 455 | fn destructive(op: Op) -> bool { |
| 456 | matches!( |
| 457 | op, |
| 458 | Op::Security(SecurityOp::DeleteCustomPattern | SecurityOp::BypassPushProtection) |
| 459 | | Op::Rules(RulesOp::DeleteRepoRuleset | RulesOp::DeleteWorkspaceRuleset) |
| 460 | | Op::DeleteWorkspace |
| 461 | | Op::UpdateWorkspace |
| 462 | | Op::DeleteRepo |
| 463 | | Op::PurgeRepo |
| 464 | | Op::TransferRepo |
| 465 | | Op::SetRepoVisibility |
| 466 | | Op::RemoveEmail |
| 467 | | Op::RemoveCollaborator |
| 468 | | Op::DisconnectIntegration |
| 469 | | Op::UpdateIntegration |
| 470 | | Op::DeleteWebhook |
| 471 | | Op::DeleteActionsSecret |
| 472 | | Op::DeleteActionsVariable |
| 473 | | Op::SetActionsSecret |
| 474 | | Op::SetActionsVariable |
| 475 | | Op::SetModelRoutes |
| 476 | | Op::SetBasePermission |
| 477 | | Op::DeleteTeam |
| 478 | | Op::RemoveTeamRepo |
| 479 | | Op::MergePullRequest |
| 480 | | Op::RemoveRunner |
| 481 | | Op::DeleteRunnerGroup |
| 482 | | Op::UpdateRunnerSettings |
| 483 | ) |
| 484 | } |
| 485 | |
| 486 | /// Whether an operation only reads. |
| 487 | pub fn reads_only(op: Op) -> bool { |
| 488 | NO_SCOPE.contains(&op.name()) |
| 489 | || scope_for(op.name()).is_some_and(|scope| scope.level() == Level::Read) |
| 490 | } |
| 491 | |
| 492 | /// What decides which actions a caller sees. |
| 493 | pub enum Gate<'a> { |
| 494 | /// No limit beyond the person's own role. |
| 495 | Everything, |
| 496 | /// A g1t agent's token: the operations its run lists. |
| 497 | Agent(&'a AgentScope), |
| 498 | /// An access token with scopes. |
| 499 | Token(&'a TokenAccess), |
| 500 | } |
| 501 | |
| 502 | impl Gate<'_> { |
| 503 | pub fn allows(&self, op: Op) -> bool { |
| 504 | match self { |
| 505 | Gate::Everything => true, |
| 506 | Gate::Agent(scope) => op.allowed_by(scope) && !NEVER.contains(&op.name()), |
| 507 | Gate::Token(access) => { |
| 508 | if NO_SCOPE.contains(&op.name()) { |
| 509 | return true; |
| 510 | } |
| 511 | match scope_for(op.name()) { |
| 512 | Some(scope) => access.allows(scope), |
| 513 | None => access.scopes.is_none(), |
| 514 | } |
| 515 | } |
| 516 | } |
| 517 | } |
| 518 | } |
| 519 | |
| 520 | impl Tool { |
| 521 | pub fn by_name(name: &str) -> Option<&'static Tool> { |
| 522 | TOOLS.iter().find(|tool| tool.name == name) |
| 523 | } |
| 524 | |
| 525 | pub fn action(&self, name: &str) -> Option<&'static Action> { |
| 526 | // The tools are 'static; find through TOOLS to keep the lifetime. |
| 527 | TOOLS |
| 528 | .iter() |
| 529 | .find(|tool| tool.name == self.name) |
| 530 | .and_then(|tool| tool.actions.iter().find(|action| action.name == name)) |
| 531 | } |
| 532 | |
| 533 | pub fn visible(&self, gate: &Gate) -> Vec<&'static Action> { |
| 534 | TOOLS |
| 535 | .iter() |
| 536 | .find(|tool| tool.name == self.name) |
| 537 | .map(|tool| tool.actions.iter().filter(|action| gate.allows(action.op)).collect()) |
| 538 | .unwrap_or_default() |
| 539 | } |
| 540 | |
| 541 | /// The flat input schema of the actions given. |
| 542 | pub fn input_schema(&self, actions: &[&Action]) -> Value { |
| 543 | let mut properties = Map::new(); |
| 544 | let lines: Vec<String> = actions |
| 545 | .iter() |
| 546 | .map(|action| { |
| 547 | let required: Vec<String> = action.op.required(); |
| 548 | if required.is_empty() { |
| 549 | format!("{}: {}.", action.name, action.summary) |
| 550 | } else { |
| 551 | format!("{} ({}): {}.", action.name, required.join(", "), action.summary) |
| 552 | } |
| 553 | }) |
| 554 | .collect(); |
| 555 | let mut action_schema = json!({ |
| 556 | "type": "string", |
| 557 | "enum": actions.iter().map(|action| action.name).collect::<Vec<_>>(), |
| 558 | "description": lines.join("\n"), |
| 559 | }); |
| 560 | if let Some(default) = self.default_action.filter(|name| actions.iter().any(|action| action.name == *name)) { |
| 561 | action_schema["default"] = json!(default); |
| 562 | } |
| 563 | properties.insert("action".to_owned(), action_schema); |
| 564 | for action in actions { |
| 565 | for (name, schema) in action.op.properties() { |
| 566 | merge_property(&mut properties, name, schema); |
| 567 | } |
| 568 | } |
| 569 | let mut required = vec![]; |
| 570 | if self.default_action.is_none() { |
| 571 | required.push("action"); |
| 572 | } |
| 573 | let mut schema = json!({ "type": "object", "properties": properties }); |
| 574 | if !required.is_empty() { |
| 575 | schema["required"] = json!(required); |
| 576 | } |
| 577 | schema |
| 578 | } |
| 579 | |
| 580 | /// The input schema keyed by action: one `oneOf` branch per action, |
| 581 | /// each with its own fields and the ones it needs. |
| 582 | pub fn discriminated(&self, actions: &[&Action]) -> Value { |
| 583 | let branches: Vec<Value> = actions |
| 584 | .iter() |
| 585 | .map(|action| { |
| 586 | let mut properties = Map::new(); |
| 587 | properties.insert("action".to_owned(), json!({ "const": action.name })); |
| 588 | properties.extend(action.op.properties()); |
| 589 | let mut required = vec![Value::String("action".to_owned())]; |
| 590 | // The default action may leave `action` out. |
| 591 | if self.default_action == Some(action.name) { |
| 592 | required.clear(); |
| 593 | } |
| 594 | required.extend(action.op.required().into_iter().map(Value::String)); |
| 595 | json!({ |
| 596 | "title": action.name, |
| 597 | "description": action.summary, |
| 598 | "type": "object", |
| 599 | "properties": properties, |
| 600 | "required": required, |
| 601 | }) |
| 602 | }) |
| 603 | .collect(); |
| 604 | json!({ "type": "object", "oneOf": branches }) |
| 605 | } |
| 606 | |
| 607 | /// MCP's hints about the actions given: whether the tool only reads, |
| 608 | /// whether it can destroy something, and whether calling it twice is |
| 609 | /// the same as once. |
| 610 | pub fn annotations(&self, actions: &[&Action]) -> Value { |
| 611 | let read_only = actions.iter().all(|action| reads_only(action.op)); |
| 612 | json!({ |
| 613 | "title": self.title, |
| 614 | "readOnlyHint": read_only, |
| 615 | "destructiveHint": !read_only && actions.iter().any(|action| destructive(action.op)), |
| 616 | "idempotentHint": read_only, |
| 617 | "openWorldHint": false, |
| 618 | }) |
| 619 | } |
| 620 | |
| 621 | /// The tool as `tools/list` gives it, for a caller behind `gate`, or |
| 622 | /// `None` when it may use none of its actions. |
| 623 | pub fn listed(&self, gate: &Gate) -> Option<Value> { |
| 624 | let actions = self.visible(gate); |
| 625 | if actions.is_empty() { |
| 626 | return None; |
| 627 | } |
| 628 | Some(json!({ |
| 629 | "name": self.name, |
| 630 | "title": self.title, |
| 631 | "description": self.description, |
| 632 | "inputSchema": self.input_schema(&actions), |
| 633 | "annotations": self.annotations(&actions), |
| 634 | })) |
| 635 | } |
| 636 | } |
| 637 | |
| 638 | /// Adds a property to a tool's flat schema. The first action to use a name |
| 639 | /// describes it; a later one with other allowed values adds them. |
| 640 | fn merge_property(properties: &mut Map<String, Value>, name: String, schema: Value) { |
| 641 | match properties.get_mut(&name) { |
| 642 | None => { |
| 643 | properties.insert(name, schema); |
| 644 | } |
| 645 | Some(existing) => { |
| 646 | if let (Some(Value::Array(had)), Some(Value::Array(more))) = |
| 647 | (existing.get("enum").cloned(), schema.get("enum")) |
| 648 | { |
| 649 | let mut merged = had; |
| 650 | for value in more { |
| 651 | if !merged.contains(value) { |
| 652 | merged.push(value.clone()); |
| 653 | } |
| 654 | } |
| 655 | existing["enum"] = Value::Array(merged); |
| 656 | } |
| 657 | // Different kinds of value under one name: say less, accept both. |
| 658 | if existing.get("type") != schema.get("type") |
| 659 | && let Some(fields) = existing.as_object_mut() |
| 660 | { |
| 661 | fields.remove("type"); |
| 662 | fields.remove("items"); |
| 663 | } |
| 664 | } |
| 665 | } |
| 666 | } |
| 667 | |
| 668 | /// What a call to a tool runs: the operation its action names, or why not. |
| 669 | pub fn resolve(tool: &Tool, arguments: &Value) -> Result<Op, String> { |
| 670 | let names = || { |
| 671 | tool.actions |
| 672 | .iter() |
| 673 | .map(|action| action.name) |
| 674 | .collect::<Vec<_>>() |
| 675 | .join(", ") |
| 676 | }; |
| 677 | let Some(name) = arguments["action"].as_str().or(tool.default_action) else { |
| 678 | return Err(format!("Give an action: one of {}.", names())); |
| 679 | }; |
| 680 | let Some(action) = tool.action(name) else { |
| 681 | return Err(format!("{} has no action {name}. Its actions: {}.", tool.name, names())); |
| 682 | }; |
| 683 | let missing: Vec<String> = action |
| 684 | .op |
| 685 | .required() |
| 686 | .into_iter() |
| 687 | .filter(|field| arguments.get(field).is_none_or(Value::is_null)) |
| 688 | .collect(); |
| 689 | if !missing.is_empty() { |
| 690 | return Err(format!("{}.{name} needs {}.", tool.name, missing.join(", "))); |
| 691 | } |
| 692 | Ok(action.op) |
| 693 | } |
| 694 | |
| 695 | #[cfg(test)] |
| 696 | mod tests { |
| 697 | use super::*; |
| 698 | use g1t_contracts::scopes::{Preset, Scope}; |
| 699 | |
| 700 | fn listed(gate: &Gate) -> Vec<Value> { |
| 701 | TOOLS.iter().filter_map(|tool| tool.listed(gate)).collect() |
| 702 | } |
| 703 | |
| 704 | fn token(scopes: Option<Vec<Scope>>) -> TokenAccess { |
| 705 | TokenAccess { |
| 706 | token_id: "tok_1".to_owned(), |
| 707 | scopes: scopes.map(|scopes| scopes.iter().map(|scope| scope.as_str().to_owned()).collect()), |
| 708 | legacy: false, |
| 709 | name: None, |
| 710 | } |
| 711 | } |
| 712 | |
| 713 | #[test] |
| 714 | fn every_operation_is_exactly_one_action_of_one_tool() { |
| 715 | for op in Op::ALL { |
| 716 | let count = TOOLS |
| 717 | .iter() |
| 718 | .flat_map(|tool| tool.actions.iter()) |
| 719 | .filter(|action| action.op == op) |
| 720 | .count(); |
| 721 | assert_eq!(count, 1, "{} is {count} actions", op.name()); |
| 722 | } |
| 723 | for tool in TOOLS { |
| 724 | let mut names = std::collections::HashSet::new(); |
| 725 | for action in tool.actions { |
| 726 | assert!(names.insert(action.name), "{}.{} twice", tool.name, action.name); |
| 727 | } |
| 728 | if let Some(default) = tool.default_action { |
| 729 | assert!(tool.action(default).is_some(), "{}", tool.name); |
| 730 | } |
| 731 | } |
| 732 | assert!(TOOLS.len() <= 17, "{} tools", TOOLS.len()); |
| 733 | } |
| 734 | |
| 735 | #[test] |
| 736 | fn every_operation_needs_exactly_one_scope_or_none() { |
| 737 | use g1t_contracts::scopes::OPERATIONS; |
| 738 | for op in Op::ALL { |
| 739 | let mapped = OPERATIONS.iter().filter(|(name, _)| *name == op.name()).count(); |
| 740 | let free = NO_SCOPE.contains(&op.name()); |
| 741 | assert_eq!(mapped + usize::from(free), 1, "{}", op.name()); |
| 742 | } |
| 743 | for (name, _) in OPERATIONS { |
| 744 | assert!(Op::by_name(name).is_some(), "{name} is not an operation"); |
| 745 | } |
| 746 | } |
| 747 | |
| 748 | #[test] |
| 749 | fn each_tool_schema_is_valid_with_one_branch_per_action() { |
| 750 | for tool in TOOLS { |
| 751 | let actions: Vec<&Action> = tool.actions.iter().collect(); |
| 752 | let flat = tool.input_schema(&actions); |
| 753 | assert_eq!(flat["type"], "object"); |
| 754 | assert!(flat.get("oneOf").is_none(), "no oneOf at the top level"); |
| 755 | let listed: Vec<&str> = flat["properties"]["action"]["enum"] |
| 756 | .as_array() |
| 757 | .unwrap() |
| 758 | .iter() |
| 759 | .map(|name| name.as_str().unwrap()) |
| 760 | .collect(); |
| 761 | assert_eq!(listed, tool.actions.iter().map(|action| action.name).collect::<Vec<_>>()); |
| 762 | for action in tool.actions { |
| 763 | for field in action.op.required() { |
| 764 | assert!(flat["properties"].get(&field).is_some(), "{}.{}: {field}", tool.name, action.name); |
| 765 | } |
| 766 | } |
| 767 | let keyed = tool.discriminated(&actions); |
| 768 | let branches = keyed["oneOf"].as_array().unwrap(); |
| 769 | assert_eq!(branches.len(), tool.actions.len()); |
| 770 | for (branch, action) in branches.iter().zip(tool.actions) { |
| 771 | assert_eq!(branch["properties"]["action"]["const"], action.name); |
| 772 | for field in branch["required"].as_array().unwrap() { |
| 773 | assert!(branch["properties"].get(field.as_str().unwrap()).is_some(), "{}.{}: {field}", tool.name, action.name); |
| 774 | } |
| 775 | } |
| 776 | // A well-formed JSON Schema object throughout. |
| 777 | let text = serde_json::to_string(&flat).unwrap(); |
| 778 | assert!(serde_json::from_str::<Value>(&text).is_ok()); |
| 779 | } |
| 780 | } |
| 781 | |
| 782 | #[test] |
| 783 | fn a_read_only_token_sees_read_actions_only() { |
| 784 | let access = token(Preset::ReadOnly.scopes()); |
| 785 | let gate = Gate::Token(&access); |
| 786 | for tool in TOOLS { |
| 787 | for action in tool.visible(&gate) { |
| 788 | assert!(reads_only(action.op), "{}.{}", tool.name, action.name); |
| 789 | } |
| 790 | } |
| 791 | let tools = listed(&gate); |
| 792 | for tool in &tools { |
| 793 | assert_eq!(tool["annotations"]["readOnlyHint"], true, "{}", tool["name"]); |
| 794 | assert_eq!(tool["annotations"]["destructiveHint"], false); |
| 795 | } |
| 796 | let issue = tools.iter().find(|tool| tool["name"] == "issue").unwrap(); |
| 797 | assert_eq!(issue["inputSchema"]["properties"]["action"]["enum"], json!(["list", "get", "labels"])); |
| 798 | // Nothing of the agent tool is a read. |
| 799 | assert!(!tools.iter().any(|tool| tool["name"] == "agent")); |
| 800 | } |
| 801 | |
| 802 | #[test] |
| 803 | fn a_narrow_token_sees_only_its_tools() { |
| 804 | let access = token(Some(vec![Scope::IssuesWrite])); |
| 805 | let names: Vec<Value> = listed(&Gate::Token(&access)).into_iter().map(|tool| tool["name"].clone()).collect(); |
| 806 | // Labels and milestones are the repository's, managed with issues:write. |
| 807 | assert_eq!(names, vec![json!("repository"), json!("issue"), json!("plan"), json!("account")]); |
| 808 | // Notifications are a resource of their own: reading them lists |
| 809 | // only what reads. |
| 810 | let reader = token(Some(vec![Scope::NotificationsRead])); |
| 811 | let tools = listed(&Gate::Token(&reader)); |
| 812 | let notifications = tools.iter().find(|tool| tool["name"] == "notifications").unwrap(); |
| 813 | assert_eq!( |
| 814 | notifications["inputSchema"]["properties"]["action"]["enum"], |
| 815 | json!(["list", "get", "subscription", "watching", "watched"]) |
| 816 | ); |
| 817 | assert_eq!(notifications["annotations"]["readOnlyHint"], true); |
| 818 | let full = token(None); |
| 819 | assert_eq!(listed(&Gate::Token(&full)).len(), TOOLS.len()); |
| 820 | assert_eq!(listed(&Gate::Everything).len(), TOOLS.len()); |
| 821 | } |
| 822 | |
| 823 | #[test] |
| 824 | fn a_tool_that_can_destroy_says_so() { |
| 825 | let tools = listed(&Gate::Everything); |
| 826 | let repository = tools.iter().find(|tool| tool["name"] == "repository").unwrap(); |
| 827 | assert_eq!(repository["annotations"]["destructiveHint"], true); |
| 828 | assert_eq!(repository["annotations"]["readOnlyHint"], false); |
| 829 | let memory = tools.iter().find(|tool| tool["name"] == "memory").unwrap(); |
| 830 | assert_eq!(memory["annotations"]["destructiveHint"], false); |
| 831 | } |
| 832 | |
| 833 | #[test] |
| 834 | fn calls_resolve_to_their_operation_or_say_what_is_missing() { |
| 835 | let issue = Tool::by_name("issue").unwrap(); |
| 836 | assert_eq!(resolve(issue, &json!({ "action": "get", "repo": "a/b", "number": 1 })), Ok(Op::GetIssue)); |
| 837 | assert_eq!(resolve(issue, &json!({ "action": "get", "repo": "a/b" })), Err("issue.get needs number.".to_owned())); |
| 838 | assert!(resolve(issue, &json!({})).unwrap_err().starts_with("Give an action")); |
| 839 | assert!(resolve(issue, &json!({ "action": "explode" })).unwrap_err().contains("no action explode")); |
| 840 | let search = Tool::by_name("search").unwrap(); |
| 841 | assert_eq!(resolve(search, &json!({ "query": "x" })), Ok(Op::Search)); |
| 842 | let account = Tool::by_name("account").unwrap(); |
| 843 | assert_eq!(resolve(account, &json!({})), Ok(Op::Whoami)); |
| 844 | } |
| 845 | |
| 846 | #[test] |
| 847 | fn teams_are_one_tool_and_a_workspace_reader_sees_only_its_reads() { |
| 848 | let team = Tool::by_name("team").unwrap(); |
| 849 | let names: Vec<&str> = team.actions.iter().map(|action| action.name).collect(); |
| 850 | assert_eq!( |
| 851 | names, |
| 852 | [ |
| 853 | "list", |
| 854 | "get", |
| 855 | "create", |
| 856 | "update", |
| 857 | "delete", |
| 858 | "list_members", |
| 859 | "set_member", |
| 860 | "remove_member", |
| 861 | "list_child_teams", |
| 862 | "list_repos", |
| 863 | "set_repo", |
| 864 | "remove_repo", |
| 865 | "set_review_assignment", |
| 866 | "list_user_teams", |
| 867 | ] |
| 868 | ); |
| 869 | let reader = token(Some(vec![Scope::WorkspaceRead])); |
| 870 | let tools = listed(&Gate::Token(&reader)); |
| 871 | let listed_team = tools.iter().find(|tool| tool["name"] == "team").unwrap(); |
| 872 | assert_eq!( |
| 873 | listed_team["inputSchema"]["properties"]["action"]["enum"], |
| 874 | json!(["list", "get", "list_members", "list_child_teams", "list_repos", "list_user_teams"]) |
| 875 | ); |
| 876 | assert_eq!(listed_team["annotations"]["readOnlyHint"], true); |
| 877 | // A team's role on a repository is who has access. |
| 878 | let admin = token(Some(vec![Scope::WorkspaceAdmin])); |
| 879 | let tools = listed(&Gate::Token(&admin)); |
| 880 | let listed_team = tools.iter().find(|tool| tool["name"] == "team").unwrap(); |
| 881 | let actions = listed_team["inputSchema"]["properties"]["action"]["enum"].as_array().unwrap(); |
| 882 | assert!(actions.contains(&json!("set_review_assignment")) && !actions.contains(&json!("set_repo"))); |
| 883 | let access = token(Some(vec![Scope::AccessAdmin])); |
| 884 | let tools = listed(&Gate::Token(&access)); |
| 885 | let listed_team = tools.iter().find(|tool| tool["name"] == "team").unwrap(); |
| 886 | assert_eq!(listed_team["inputSchema"]["properties"]["action"]["enum"], json!(["set_repo", "remove_repo"])); |
| 887 | // Both kinds of role a schema names are offered. |
| 888 | let roles = &listed(&Gate::Everything).into_iter().find(|tool| tool["name"] == "team").unwrap()["inputSchema"] |
| 889 | ["properties"]["role"]["enum"]; |
| 890 | for role in ["member", "maintainer", "read", "admin"] { |
| 891 | assert!(roles.as_array().unwrap().contains(&json!(role)), "{role}"); |
| 892 | } |
| 893 | assert_eq!( |
| 894 | resolve(team, &json!({ "action": "set_repo", "workspace": "acme", "team": "backend", "repo": "rocket" })), |
| 895 | Err("team.set_repo needs role.".to_owned()) |
| 896 | ); |
| 897 | } |
| 898 | |
| 899 | #[test] |
| 900 | fn reviewers_and_code_owners_are_actions_of_their_tools() { |
| 901 | let pull = Tool::by_name("pull_request").unwrap(); |
| 902 | assert_eq!( |
| 903 | resolve(pull, &json!({ "action": "request_reviewers", "repo": "a/b", "number": 1, "team_reviewers": ["backend"] })), |
| 904 | Ok(Op::RequestReviewers) |
| 905 | ); |
| 906 | assert_eq!(pull.action("remove_requested_reviewers").map(|action| action.op), Some(Op::RemoveRequestedReviewers)); |
| 907 | let repository = Tool::by_name("repository").unwrap(); |
| 908 | assert_eq!(resolve(repository, &json!({ "action": "codeowners", "repo": "a/b" })), Ok(Op::GetCodeownersErrors)); |
| 909 | assert!(reads_only(Op::GetCodeownersErrors)); |
| 910 | assert!(!reads_only(Op::RequestReviewers)); |
| 911 | } |
| 912 | |
| 913 | /// How much smaller `tools/list` is than one tool per operation. Run |
| 914 | /// with `--nocapture` to see the numbers. |
| 915 | #[test] |
| 916 | fn the_tool_list_is_much_smaller_than_one_tool_per_operation() { |
| 917 | let before: Vec<Value> = Op::ALL |
| 918 | .into_iter() |
| 919 | .map(|op| json!({ "name": op.name(), "description": op.description(), "inputSchema": op.input() })) |
| 920 | .collect(); |
| 921 | let after = listed(&Gate::Everything); |
| 922 | let before_bytes = serde_json::to_string(&json!({ "tools": before })).unwrap().len(); |
| 923 | let after_bytes = serde_json::to_string(&json!({ "tools": after })).unwrap().len(); |
| 924 | let agent = token(Preset::Agent.scopes()); |
| 925 | let agent_bytes = serde_json::to_string(&json!({ "tools": listed(&Gate::Token(&agent)) })).unwrap().len(); |
| 926 | let read = token(Preset::ReadOnly.scopes()); |
| 927 | let read_bytes = serde_json::to_string(&json!({ "tools": listed(&Gate::Token(&read)) })).unwrap().len(); |
| 928 | println!( |
| 929 | "tools/list: before {} tools, {before_bytes} bytes (~{} tokens); after {} tools, {after_bytes} bytes (~{} tokens); agent preset {agent_bytes} bytes (~{} tokens); read only {read_bytes} bytes (~{} tokens)", |
| 930 | before.len(), |
| 931 | before_bytes / 4, |
| 932 | after.len(), |
| 933 | after_bytes / 4, |
| 934 | agent_bytes / 4, |
| 935 | read_bytes / 4, |
| 936 | ); |
| 937 | assert!(after_bytes * 2 < before_bytes, "{after_bytes} vs {before_bytes}"); |
| 938 | } |
| 939 | } |