Get Your Free AI BotFree AI Bot
Grok Bot Bot Hubs Bots Integrations AI Assistant
← Back to Plugins
MCP Server MCP

gonzalgo

github By github 👁 4 views ▲ 0 votes

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

Homepage Verified source GitHub

Install

uvx gonzalgo

Configuration Example

{
  "remotes": [],
  "packages": [
    {
      "registryType": "pypi",
      "registryBaseUrl": "https://pypi.org",
      "identifier": "gonzalgo",
      "version": "0.5.2",
      "runtimeHint": "uvx",
      "transport": {
        "type": "stdio"
      },
      "runtimeArguments": [
        {
          "description": "The MCP server lives behind an optional dependency so the analysis tools stay dependency-light for CLI-only users.",
          "isRequired": true,
          "value": "gonzalgo[mcp]",
          "type": "named",
          "name": "--from"
        }
      ],
      "packageArguments": [
        {
          "description": "Starts the stdio server. Without it the binary runs the analysis CLI.",
          "isRequired": true,
          "value": "mcp",
          "type": "positional"
        }
      ]
    }
  ]
}
mcp model-context-protocol pypi

Comments

Sign in to leave a comment

Loading comments...

More by github

GetFacade

GetFacade

Designs a real house exterior on its own photo, prices it line by line and documents it.

0
Waggle

Waggle

Discover, search, invoke, and rate A2A (Agent-to-Agent) protocol agents.

0
SIMcloud

SIMcloud

South African MCP server for airtime, data, SMS, VAS, electricity, balance, and network lookup.

0
Yault AESP

Yault AESP

Crypto payments for the agent economy — policy-gated vault operations under human control

0

Similar Plugins in MCP Server

Nolizi Calendar

Nolizi Calendar

Nolizi Calendar provides a hosted, owner-authenticated MCP server for scheduling. Its five tools discover event types, c

0
Kooma — Bambara AI

Kooma — Bambara AI

Bambara AI over MCP: text-to-speech, transcription and translation (Bamanankan + more).

0
GetFacade

GetFacade

Designs a real house exterior on its own photo, prices it line by line and documents it.

0
alfred_

alfred_

Your real Gmail, Outlook and calendars, worked as you: read, draft, send, schedule, organize.

0
Gessa: game asset generation for AI agents

Gessa: game asset generation for AI agents

Generate game-ready 3D models, textures, and audio from natural language, over MCP.

0
ai.agentgates/mcp

ai.agentgates/mcp

Confidential compute and inference sold to agents over x402 USDC, plus an agent wallet over MCP.

0