Repository navigation
match hosted mcp tools to what the server serves - #242
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.
There was a problem hiding this comment.
Graphify reviewed this change.
Code graph out of date: Health delta baseline: last indexed commit 5a61745, 4 commit(s) behind this PR's base. Impact and hotspot numbers below may be wrong.
No verdict: the code graph is out of date. Static checks found no blocking issues, but they compared against an outdated graph. The next push after the repository re-indexes gets a full review.
Not checked: tests were not run; no formal proof of the changed code.
Graphify review — findings
Updates the agent-facing tool map so graphify_impact now replaces the old callers/callees/impact_and_risk combo, graphify_trace and recall expose their semantic-fallback and path-hint behavior, and graphify_help plus run_repository_starter_task appear as first-class options. graphify_callers defaults to strict resolved edges only; turning strict_calls off widens results at the cost of lower precision, and an empty list now explicitly signals “no indexed edge.” graph_stats reports node/edge counts instead of freshness, and graphify_impact with include_risk surfaces the hotspot ranking that used to require a second tool.
No blocking issues surfaced. 7 lower-confidence candidates did not survive cross-model review.
Analysis details — impact, health, verification
Impact & health
Graphify review
Impact — 194 functions depend on the 194 functions this change touches.
Health — grade A; no new coupling hotspots.
Verification — 194 functions in the blast radius were not formally verified this run (proofs are advisory here).
Health delta baseline: last indexed commit 5a61745, 4 commit(s) behind this PR's base.
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: 194 function(s) in the blast radius were not formally verified this run
Hosted pages named MCP tools the server does not serve, and they hard-coded how many tools it has. This updates them to the tools https://api.graphify.com/mcp returned on 12 Nov 2026. Readers are told to use tools/list in their client for the current set. Where a page sent people to impact_and_risk, it now says graphify_impact with include_risk. The open-source CLI's local MCP pages are unchanged.
Pages: