docs(mcp[clients]): Add Grok CLI and Antigravity#89
Merged
Conversation
why: Grok and Antigravity (agy) are both in active use, but the MCP install picker only covered Claude / Codex / Gemini / Cursor, leaving their registration steps undocumented. what: - Add a Grok CLI client (cli-kind): `grok mcp add --scope <s> tmux -- <cmd>` writes both user and project scopes itself to ~/.grok/config.toml / ./.grok/config.toml (TOML, same shape as Codex), so no manual-paste cell is needed. - Add an Antigravity client (json-kind): reuses the mcpServers snippet, pasted into ~/.gemini/config/mcp_config.json — the file the agy binary actually reads (agy has no `mcp add` verb). - Mirror both clients in widget.js DEFAULT_SCOPES (hand-kept map). - Add config-locations rows and local-checkout examples to clients.md. - Cover the new grok/antigravity panel bodies with parametrized NamedTuple tests, including a guard on the config-file paths.
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## main #89 +/- ##
==========================================
+ Coverage 84.86% 84.88% +0.01%
==========================================
Files 43 43
Lines 3198 3202 +4
Branches 438 439 +1
==========================================
+ Hits 2714 2718 +4
Misses 352 352
Partials 132 132 ☔ View full report in Codecov by Harness. 🚀 New features to boost your workflow:
|
why: The swap wrote agy's server config to ~/.gemini/antigravity/mcp_config.json, but the Antigravity CLI reads ~/.gemini/config/mcp_config.json — its shared-config dir, sibling to the config.json it loads at startup (confirmed via the agy binary, its bundled skill doc, and a live startup log). Servers swapped in there were never loaded. what: - Point CLIS["agy"].config_path at ~/.gemini/config/mcp_config.json. - Rewrite the scope docstring; drop the stale "may read a different profile" hedge now that the path is confirmed. - Update the test fixture's expected agy config path.
Record the merge-ready docs deliverable: the MCP install picker now covers Grok CLI and Antigravity alongside the existing clients.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Adds Grok CLI and Antigravity (Google's
agy) to the MCP installpicker and the
clients.mdreference — previously it covered only ClaudeCode, Claude Desktop, Codex CLI, Gemini CLI, and Cursor.
Grok CLI registers through its own
grok mcp add --scope <user|project> tmux -- <cmd>verb, which writes both user and project scopes to~/.grok/config.toml/./.grok/config.toml(TOML, the same shape asCodex). Because the CLI writes both scopes itself, there's no manual-paste
cell.
Antigravity has no
mcp addverb, so it's a JSON-config client likeCursor: users paste the
mcpServerssnippet into~/.gemini/config/mcp_config.json— the file theagybinary actuallyreads (confirmed against the bundled
agy-customizationsskill doc and thepath baked into the binary).
The picker matrix is data-driven, so both clients slot into the existing
CLIENTStuple; Antigravity reuses_json_bodyverbatim, and thehand-kept
DEFAULT_SCOPESmirror inwidget.jswas updated in lockstep.clients.mdalso gains config-file rows and local-checkout examples forboth clients.
Test plan
uv run pytest— new parametrizedNamedTuplecases assert everygrok/antigravity panel body and guard the config-file paths; full suite
green.
uv run mypyandruff— clean.just build-docs— built HTML renders both client tabs, both grokscopes, and the Antigravity paste destination.
Also includes a follow-on tooling fix (
scripts/mcp_swap.py): the swappointed agy at
~/.gemini/antigravity/mcp_config.json, but the AntigravityCLI reads
~/.gemini/config/mcp_config.json— its shared-config dir,sibling to the
config.jsonit loads at startup (confirmed via the agybinary, its bundled skill doc, and a live startup log). The swap now writes
the file the CLI actually loads;
use-local --dry-runand the test fixturewere verified against the corrected path.