Skip to content
Gemini CLI

NumProof for Gemini CLI

io.github.projecttron/numproof

Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.

client:Gemini CLI transport:streamable-http runtime:pypi tools:4

Install NumProof in Gemini CLI

~/.gemini/settings.json · windows: %USERPROFILE%\.gemini\settings.json

{
  "mcpServers": {
    "numproof": {
      "httpUrl": "https://numproof.com/mcp"
    }
  }
}

Gemini expands $VAR and ${VAR} inside env values, so a secret can live in your shell rather than this file. Gemini CLI docs

What Gemini CLI can do once it is connected

NumProof in other clients