cosmic-mcp

All servers

gonzalgo

io.github.vince-gonzalez/gonzalgo · version 0.5.6

Community listing. Not installed or verified by cosmic-mcp. Read the source and its permissions before you run it.

Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

https://github.com/vince-gonzalez/gonzalgo

Quick facts

  • Listing: Community
  • Published Sep 11, 06:02 UTC
  • Transport: stdio
  • Package: pypi gonzalgo 0.5.6
  • Listed by cosmic-mcp: Nov 9, 04:27 UTC

Developer tools

Setup snippets

Generated from the registry entry. cosmic-mcp has not run or reviewed this server; values in angle brackets are yours to fill in.

Run it locally (pypi)

uvx 'gonzalgo==0.5.6'

Claude Desktop (claude_desktop_config.json)

{
  "mcpServers": {
    "gonzalgo": {
      "args": [
        "gonzalgo==0.5.6"
      ],
      "command": "uvx"
    }
  }
}

Claude Code

claude mcp add 'gonzalgo' -- uvx 'gonzalgo==0.5.6'

Cursor (.cursor/mcp.json)

{
  "mcpServers": {
    "gonzalgo": {
      "args": [
        "gonzalgo==0.5.6"
      ],
      "command": "uvx"
    }
  }
}

VS Code (.vscode/mcp.json)

{
  "servers": {
    "gonzalgo": {
      "args": [
        "gonzalgo==0.5.6"
      ],
      "command": "uvx",
      "type": "stdio"
    }
  }
}

Related servers

  • Ankra Docs Verified domain
    Search the Ankra documentation: clusters, stacks, GitOps, CI/CD and the CLI. No account needed.
  • .FAF Context Verified domain
    .FAF Context — persistent project context for Cursor, VS Code and every MCP-compatible IDE.
  • .NET Debugger for MCP
    Give an AI agent a real .NET debugger: breakpoints, stepping, locals, expression evaluation.
  • .NET MCP Server
    AI assistant access to .NET SDK for projects, packages, building, testing, and development tools.
  • 1c-enterprise-mcp
    1C Enterprise MCP: 20 real tools to read, check, lint, scaffold, build and run 1C Enterprise code.
  • 4d-mcp
    4D MCP: 20 real tools to read, check, lint, scaffold, build and run 4D code.