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