Repository navigation
document querying a repository group over mcp - #211
Conversation
|
Preview deployment for your docs. Learn more about Mintlify Previews.
💡 Tip: Enable Automations to automatically generate PRs for you. |
There was a problem hiding this comment.
Copilot was unable to review this pull request because the user who requested the review has insufficient remaining quota. Try requesting a review at a lower effort level.
An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.
![graphify-labs-staging[bot]](https://avatars.githubusercontent.com/in/4517131?s=60&v=4){kind=small}
There was a problem hiding this comment.
No issues found by static checks — no coupling regressions or blocking issues in the code graph. That is not the same as safe to merge: see what was not checked.
Not checked: tests were not run; no formal proof of the changed code.
Graphify review — findings
Adds query support for combined graphs over hosted MCP so agents can target a workspace the same way they target a single repository. list_repositories now surfaces promoted merges with kind: "workspace" and the group id; the usual query tools accept that id in repository_id and serve the merged graph. A group is only queryable once its merge is promoted; otherwise the tools simply see no matching repository and review tools remain unavailable.
No blocking issues surfaced. 2 lower-confidence candidates did not survive cross-model review.
Analysis details — impact, health, verification
Impact & health
Graphify review
Impact — 31 functions depend on the 31 functions this change touches.
Health — grade A; no new coupling hotspots.
Verification — 31 functions in the blast radius were not formally verified this run (proofs are advisory here).
Gate & verification
graphify gate
PASS — objectively clean (no health regressions, tests not run — proofs not run this pass (advisory)). Grounded, not self-assessed.
Advisory (not blocking):
- verification_scope: 31 function(s) in the blast radius were not formally verified this run
SyedFahad7
changed the title
Combined graphs already show up in list_repositories as kind "workspace". This adds the steps to find the group id and pass it to query tools, plus a pointer from the graph explorer page.
95baaa3 to
0c39ed9
Compare
What this adds
Your agent can already query a combined graph.
list_repositoriesreturns groups withkind: "workspace", and query tools take the group id like a repository id.This page now walks through building a combined graph, finding that id, and passing it to the tools. The graph explorer page links to the same steps.
Pages
platform/hosted-mcp.mdxplatform/graphs.mdx