Getting started — Plugin path
Enhance an existing coding agent
Add G6 to Claude Code as an MCP server. Takes under 2 minutes. Best for: AI-assisted development, research automation, and code generation workflows.
# Step 1: Add G6 to Claude Code
$ claude mcp add g6 --transport sse \
--url https://g6solver.com/mcp/sse \
--header "Authorization: Bearer YOUR_API_KEY"
# Step 2: Verify the connection
$ claude mcp list
# Step 3: Use G6 tools in any Claude conversation
> Use G6 to run a formal safety audit on this function
> Use G6 to decompose this goal into verifiable subtasks
> Use G6 formal methods to verify this specification
What you get
- • 250+ composable modules across 7 capability classes
- • 250+ MCP tools registered on the G6 server — how many you can call is set by your plan: 30 on Free, 66 on Researcher, 243 on Builder (payment and privileged-execution tools stay off the tier surface entirely)
- • Formal verification, search grounding, and decision tracing
- • Works with Claude Code on Windows, macOS, and Linux
Requirements
Claude Code with an active license (Claude Pro, Max, or Anthropic API credits) + a G6 API key. For cost control you can add your own OpenRouter key. Ollama is a local-GPU backend and is not available on the hosted service until a desktop application ships.