Replace Antigravity with Pi (pi.dev) tool support#525
Merged
Conversation
Drop the Antigravity integration and add Pi as a supported coding tool so teams using Pi can manage skills with agr. Pi installs skills to .pi/skills/ (project) and ~/.pi/agent/skills/ (global), is detected from .pi/ or the shared .agents/ directory, uses AGENTS.md for instructions, and has full CLI wiring (pi -p / -a / --continue) for agr run and agrx. Existing configs pinned to the former Antigravity canonical file are coerced on load (canonical_instructions = "GEMINI.md" -> "AGENTS.md") so they keep working instead of erroring on every command. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Update the README invocation table, supported-tool lists, the agr-cli skill references, the shipping JSON-LD SEO template (docs/overrides/main.html), and the CHANGELOG so users see Pi instead of Antigravity. Drop GEMINI.md as a canonical instruction file everywhere it was listed. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
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
1 participant
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.
What & why
Removes the Antigravity coding-tool integration and adds Pi (https://pi.dev), a minimal open-source terminal coding agent, so teams using Pi can manage their skills with agr.
How Pi is wired
.pi/skills/(project),~/.pi/agent/skills/(global).pi/or the shared.agents/directoryAGENTS.mdpi -p(prompt),-a(auto-approve),--continue(resume) — soagr runandagrx --tool piworkPi reads both
.pi/skills/and.agents/skills/; agr installs to the Pi-native.pi/tree. A user running both Codex and Pi will have skills written to both trees (accepted tradeoff).Backward compatibility
canonical_instructions = "GEMINI.md"(the former Antigravity file) is no longer valid, but existingagr.tomlfiles are coerced toAGENTS.mdon load instead of erroring on every command. Documented in the CHANGELOG.Commits
feat:registry/migrations/config + tests (incl. newtests/cli/agr/test_pi.py, removedtest_antigravity.py)docs:README, supported-tool lists,agr-cliskill references, the shipping JSON-LD SEO template, CHANGELOGdocs:implementation diaryReview notes
This shipped after a two-agent code review. Fixes applied from it: corrected the README "Invoke with" column (
/pdf, notpi), swept ~36 stale Antigravity/GEMINI.mdreferences out ofdocs/overrides/main.html, and added theGEMINI.mdcoercion above.Known deferred follow-ups: the
cli_command is Nonebranches inagr/runner.pyare now unreachable (every tool has a CLI); and.agents/detection auto-addspito Codex-only repos (carried over from Antigravity's identical signal).Verification
uv run pytest— 1304 passed, 6 skippeduv run ruff check ./uv run ty check— cleanuv run mkdocs build --strict— succeeds🤖 Generated with Claude Code