This is not a chat UI. It is a set of tools that GitHub Copilot itself can call.
Once installed, Copilot Chat gets three new tools backed by xAI Grok and pure local I/O. Copilot decides when to call them. The user just asks Copilot questions normally.
What Copilot gets
Tool name
What it does
Cost
seraphina_verify_code
Strict anti-hallucination review of a snippet (fake APIs, Math.random in security paths, swallowed exceptions, fabricated imports). Returns SAFE / NEEDS_FIXES / CRITICAL plus corrected code.
1 Grok call
seraphina_plan_task
Structured implementation plan with UNVERIFIED: markers + confidence scores.
1 Grok call
seraphina_repo_grep
Fast local text/regex search across the workspace (honors common ignore globs, skips binaries). Returns file:line: context.
Zero API calls — pure local
seraphina_repo_grep is the one that helps Copilot navigate huge repos cheaply — instead of readFile-ing dozens of files to find a symbol, Copilot can fire one grep tool call and get a structured hit list.
How Copilot invokes them
In Copilot Chat the user can either:
Let Copilot decide — for sufficiently big tasks Copilot will pick the tool itself.
Reference explicitly with #seraphinaVerify, #seraphinaPlan, or #seraphinaGrep in the prompt.
Setup
Install the VSIX (or from Marketplace once published).
Ctrl+Shift+P → Seraphina Grok: Set xAI API Key → paste your key from https://console.x.ai. Stored in the OS keychain via SecretStorage.
Use Copilot normally. The tools show up under the chat input's tool picker.
Settings
Setting
Default
Notes
seraphinaGrok.model
grok-code-fast-1
Also: grok-4, grok-4-fast, grok-3
seraphinaGrok.maxTokens
2048
seraphinaGrok.temperature
0.2
Intentionally strict — low hallucination
seraphinaGrok.repoGrep.maxFiles
50
Truncates after N files with hits
seraphinaGrok.repoGrep.maxHitsPerFile
20
Privacy
seraphina_repo_grep runs entirely on your machine. Zero network.
seraphina_verify_code and seraphina_plan_task send only the input the tool received (Copilot decides what to send) directly to https://api.x.ai/v1/chat/completions. No middle server.
API key lives in the OS keychain via VS Code SecretStorage. A 401/403 from xAI auto-deletes the stored key.
Build from source
npm install
npm run compile
npm run package
code --install-extension seraphina-grok-planner-0.2.0.vsix
