Ext Ops Panel
Dashboard öffnen

gonzalgo

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

MCP-Server · von vince-gonzalez

Verbinden Vergleichen Beanspruchen

Überblick

gonzalgo ist ein MCP-Server von vince-gonzalez. Marktplätze, die wir lesen und die es listen: 1 (Official MCP Registry). Wir haben es erstmals am 2026-10-11 gesehen und seither keine Änderung erfasst. Stand unseres Marktplatz-Durchlaufs vom 2026-10-14.

Was es abfragt

  • Läuft auf Ihrem Rechner

Keiner der Marktplätze, die wir lesen, veröffentlicht seine Tools oder die abgefragten Einstellungen.

Was es deklariert, abfragt und ausführt, vollständig

Installieren Sie nur Plugins von Entwicklern, denen Sie vertrauen. Wir zeigen, was die Marktplätze veröffentlichen, und testen keine Plugins.

Paket

PyPI gonzalgo (gonzalgo auf PyPI)

  • PyPI-Downloads pro Woche: 122 (2026-10-13)
  • PyPI-Downloads pro Monat: 467 (2026-10-13)
  • Neueste Version auf PyPI: 0.5.6, veröffentlicht am 2026-09-11

Keine bekannten Schwachstellen in OSV für 0.5.6 (geprüft am 2026-10-14)

Keine bekannten Schwachstellen in OSV für 0.5.2 (geprüft am 2026-10-14)

Die PyPI-Angaben stammen von pypi.org, die PyPI-Downloads von pypistats.org. Jede Zahl gehört ihrem Register und wird nie mit einer anderen addiert. Ein Register, das keine Zahl veröffentlicht, zeigt keine: keine Zahl ist nicht null. Die Schwachstelleneinträge stammen von OSV.dev (CC BY 4.0) und betreffen nur die angegebene Version; ein Eintrag ohne Version erhält keine Antwort. Wir scannen keinen Code.

Funktioniert mit

  • Claude Code
  • Codex
  • Cursor
  • VS Code
  • Copilot CLI
In Cursor installierenIn VS Code installieren

Ein Ein-Klick-Link öffnet den Client, der vor dem Hinzufügen des Servers um Bestätigung bittet.

Nach den Marktplätzen, die ihn listen, und dem angegebenen MCP-Transport, wie jeder Client sie dokumentiert. Wir testen keine Plugins.

Verbinden

Befehle und Konfigurationen nur aus den Angaben der Marktplätze. Wir führen sie nicht für Sie aus und testen keine Plugins.

Als lokaler MCP-Server: PyPI-Paket

Erstellt aus den Angaben von Official MCP Registry.

Claude CodeTerminal
claude mcp add --transport stdio gonzalgo -- uvx --from "gonzalgo[mcp]" gonzalgo mcp
Codex~/.codex/config.toml
[mcp_servers.gonzalgo]
command = "uvx"
args = ["--from", "gonzalgo[mcp]", "gonzalgo", "mcp"]
Cursor~/.cursor/mcp.json
{
  "mcpServers": {
    "gonzalgo": {
      "command": "uvx",
      "args": [
        "--from",
        "gonzalgo[mcp]",
        "gonzalgo",
        "mcp"
      ]
    }
  }
}

Wo es veröffentlicht ist

MarktplatzStatusVersionZahlenVerifiziertErstmals gesehen
Official MCP Registry (Eintrag in der Registry öffnen) Gelistet 0.5.6 Downloads pro Monat (PyPI): 467
Downloads pro Woche (PyPI): 122
Forks (GitHub): 0
Sterne (GitHub): 2		 Nicht markiert
Official MCP Registry (Eintrag in der Registry öffnen) Gelistet, als veraltet markiert 0.5.2 Downloads pro Monat (PyPI): 467
Downloads pro Woche (PyPI): 122
Forks (GitHub): 0
Sterne (GitHub): 2		 Nicht markiert

Jede Zahl stammt vom jeweiligen Marktplatz und wird nie über Marktplätze hinweg addiert. Ein Marktplatz ohne veröffentlichte Zahl zeigt keine: keine Zahl ist nicht null.

Was sich geändert hat

Bei diesem Plugin hat sich nichts bewegt, seit wir es beobachten.

Möglicherweise dasselbe Plugin

Einträge, die ein Merkmal mit diesem teilen, aber nicht genug, um sie als dasselbe Produkt zu behandeln.

Ähnliche Plugins

Produkte, deren eigene Namen, Beschreibungen, Werkzeuge und Skills diesem der Bedeutung nach am nächsten sind, auf allen Marktplätzen, die wir lesen. Die Nähe ist nur innerhalb dieser Liste geordnet.

  • prover com.axiomatic-ai/prover

    Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

    von axiomatic-ai.com · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

  • leanforge-mcp io.github.sandraschi/leanforge-mcp

    MCP server for AI-driven formal proof search in Lean 4

    von sandraschi · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

  • Grounded Reasoning

    Verify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.

    von ALEXaquarius · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

  • Execute coq-proof-assistant-mcp

    Premium agentic endpoint for coq-proof-assistant-mcp.

    von Evozim · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

  • Euclid-MCP

    Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

    von meob · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt eine ähnliche Aufgabe

  • mcp io.github.lemmaoracle/mcp

    Verifiable provenance for AI agents — ZK proofs over confidential documents, no plaintext exposure.

    von lemmaoracle · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt eine ähnliche Aufgabe

  • AGZ Rust MCP

    Bounded, source-write-free Rust correctness tools grounded in Cargo and rustc output.

    von ugur-murat-alt · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt eine ähnliche Aufgabe

  • Unicode Logic Kit

    Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

    von fvossel · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt eine ähnliche Aufgabe

  • ZTL Judge

    Zero-trust logic judge: your AI writes a claim as a ZFL table, the ZTL core judges it.

    von inventor1975 · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt eine ähnliche Aufgabe

  • agiscorecard-web3-proof io.github.f-tiger/agiscorecard-web3-proof

    Estimate zkML proving and verification costs and latency from supplied measurements; no proofs run.

    von f-tiger · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt eine ähnliche Aufgabe

Ähnliche Plugins nach Marktplatz

Dieselbe Frage an jeden Marktplatz einzeln: Gibt es dort ein Gegenstück zu diesem Plugin?

Gelistet auf Claude Code: claude-plugins-community (5)

  • gograph

    Local Go repository call graphs and structural analysis for coding agents over stdio.

    von ozgurcd · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • Gnosis MCP

    Zero-config MCP server for searchable documentation. SQLite or PostgreSQL.

    von nicholasglazer · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

  • socraticode io.github.giancarloerra/socraticode

    MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.

    von giancarloerra · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • mcp-yoshi

    Real-time security filter for MCP tool communications. Works as a Claude Code hook to inspect all data sent to and received from MCP servers. Detects prompt injection, API key…

    von aliksir · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

  • lu

    lu.ma events MCP server with draft+confirm safety, audit logging, and prompt-injection scrubbing.…

    von adelaidasofia · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Claude Code: claude-plugins-official (5)

  • math-proof

    Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file…

    von Anthropic · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official · Beschreibt nahezu dieselbe Aufgabe

  • Setup MCP Agent Analytics

    Detect an MCP server's language (Python, TypeScript or Go) and instrument it with the matching Pendo SDK so MCP tool calls flow into Pendo Agent Analytics.

    von pendo-io · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • mcp-server io.github.cap-js/mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of CAP applications.

    von cap-js · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Beschreibt nahezu dieselbe Aufgabe

  • Dynatrace

    Dynatrace observability skills: DQL query patterns, application and infrastructure monitoring, log analysis, problem investigation, and incident response workflows, with the…

    von Dynatrace · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Official MCP Registry, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    von figma · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Claude: knowledge-work-plugins (5)

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    von figma · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

  • gk-cli com.gitkraken/gk-cli

    The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.

    von gitkraken.com · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-official, Claude: knowledge-work-plugins · Beschreibt nahezu dieselbe Aufgabe

  • Desktop Commander

    MCP server for terminal commands, file operations, and process management

    von wonderwhy-er · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • Grafana Cloud MCP

    Hosted MCP server for AI-assisted Grafana Cloud observability — no local installation required.

    von grafana · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • zoominfo

    Search companies and contacts, enrich leads, find lookalikes, and get AI-ranked contact recommendations. Pre-built skills chain multiple ZoomInfo tools into complete B2B sales…

    von Zoominfo · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Codex: openai-curated (openai/plugins) (5)

  • GitHub

    Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.

    von OpenAI · Plugin-Paket

    Gelistet auf: Codex: openai-curated (openai/plugins) · Beschreibt nahezu dieselbe Aufgabe

  • Sentry

    Inspect recent issues and events in Sentry from Codex.

    von OpenAI · Plugin-Paket

    Gelistet auf: Codex: openai-curated (openai/plugins) · Beschreibt nahezu dieselbe Aufgabe

  • Plugin Eval

    Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.

    von OpenAI Codex · Plugin-Paket

    Gelistet auf: Codex: openai-curated (openai/plugins) · Beschreibt nahezu dieselbe Aufgabe

  • Datadog (Preview)

    Available for US1 customers only. Analyze, investigate, and act on your Datadog telemetry directly from ChatGPT using natural language. Ask questions about your production…

    von Datadog · Plugin-Paket

    Gelistet auf: Codex: openai-curated (openai/plugins) · Beschreibt nahezu dieselbe Aufgabe

  • Granola

    Granola MCP connects your meeting history to ChatGPT so your assistant can pull real context from past conversations while you work. Use MCP when you're already working on…

    von Granola · Plugin-Paket

    Gelistet auf: Codex: openai-curated (openai/plugins) · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Community GitHub marketplaces (5)

  • gnomon

    Deterministic batch tools so LLM agents stop guessing dates and math.

    von lihtness · MCP-Server

    Gelistet auf: Official MCP Registry, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • typeprobe

    TypeScript inferred types, completions and type errors for AI coding agents

    von clockblocker · MCP-Server

    Gelistet auf: Official MCP Registry, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • argot

    Read-only context and complete checks against patterns learned from git history. Local; no LLM.

    von get-tmonier · MCP-Server

    Gelistet auf: Official MCP Registry, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • mcp-pin

    Check if an MCP server's tool definitions changed after approval, from a signed public log.

    von GautamTalksDev · MCP-Server

    Gelistet auf: Official MCP Registry, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

  • ai-architect-mcp-spec io.github.cdeust/ai-architect-mcp-spec

    PRD verification and host-driven generation with multi-judge consensus across 17 MCP tools.

    von cdeust · MCP-Server

    Gelistet auf: Official MCP Registry, Community GitHub marketplaces · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Copilot CLI: github/awesome-copilot (5)

  • typescript-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…

    von Awesome Copilot Community · Plugin-Paket

    Gelistet auf: Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

  • go-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…

    von Awesome Copilot Community · Plugin-Paket

    Gelistet auf: Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

  • kotlin-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…

    von Awesome Copilot Community · Plugin-Paket

    Gelistet auf: Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    von figma · Plugin-Paket

    Gelistet auf: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

  • BLEA

    Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.

    von Nitmi · MCP-Server

    Gelistet auf: Official MCP Registry, Copilot CLI: github/awesome-copilot · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Copilot CLI: github/copilot-plugins (5)

  • mcp-apps

    Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.

    von microsoft · Plugin-Paket

    Gelistet auf: Copilot CLI: github/copilot-plugins · Beschreibt nahezu dieselbe Aufgabe

  • advanced-security

    Advanced Security plugin for GitHub Copilot.

    von github · Plugin-Paket

    Gelistet auf: Copilot CLI: github/copilot-plugins · Beschreibt nahezu dieselbe Aufgabe

  • azure-devops-copilot-plugin

    Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.

    von microsoft · Plugin-Paket

    Gelistet auf: Copilot CLI: github/copilot-plugins · Beschreibt nahezu dieselbe Aufgabe

  • microsoft-365-agents-toolkit

    Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.

    von microsoft · Plugin-Paket

    Gelistet auf: Copilot CLI: github/copilot-plugins · Beschreibt nahezu dieselbe Aufgabe

  • cpp-language-server

    Navigate and interact with your C++ code using the Microsoft C++ Language Server.

    von microsoft · Plugin-Paket

    Gelistet auf: Copilot CLI: github/copilot-plugins · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Cursor: cursor/plugins (5)

  • Tailscale

    Let Grok Bot reach MCP servers on your private Tailscale network. Sign in to Tailscale to connect your tailnet; Grok Bot joins it as one tagged device and only reaches the hosts…

    von Cursor · Plugin-Paket

    Gelistet auf: Cursor: cursor/plugins · Beschreibt nahezu dieselbe Aufgabe

  • playwright-mcp io.github.microsoft/playwright-mcp

    Playwright Tools for MCP

    von microsoft · MCP-Server

    Gelistet auf: Official MCP Registry, Claude Code: claude-plugins-official, Cursor: cursor/plugins, Docker MCP Catalog · Beschreibt nahezu dieselbe Aufgabe

  • Agent Compatibility

    CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.

    von Cursor · Plugin-Paket

    Gelistet auf: Cursor: cursor/plugins · Beschreibt nahezu dieselbe Aufgabe

  • pstack

    if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.

    von Lauren Tan · Plugin-Paket

    Gelistet auf: Cursor: cursor/plugins · Beschreibt nahezu dieselbe Aufgabe

  • Guru

    Search company knowledge and draft verified answers.

    von Cursor · Plugin-Paket

    Gelistet auf: Cursor: cursor/plugins · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Docker MCP Catalog (5)

  • Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp

    [DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.

    von dynatrace-oss · MCP-Server

    Gelistet auf: Official MCP Registry, Docker MCP Catalog · Beschreibt nahezu dieselbe Aufgabe

  • Kagi Search

    The Official Model Context Protocol (MCP) server for Kagi Search & other tools.

    von kagisearch · MCP-Server

    Gelistet auf: Docker MCP Catalog · Beschreibt nahezu dieselbe Aufgabe

  • Hackle

    Remote MCP server for the Hackle Admin API: experiments, feature flags, remote config, messaging.

    von hackle-io · MCP-Server

    Gelistet auf: Official MCP Registry, Docker MCP Catalog · Beschreibt nahezu dieselbe Aufgabe

  • SonarQube MCP Server

    Analyze code quality and security with SonarQube Server or Cloud directly in AI assistants.

    von SonarSource · MCP-Server

    Gelistet auf: Official MCP Registry, Docker MCP Catalog · Beschreibt nahezu dieselbe Aufgabe

  • Arm MCP Server

    Official Arm MCP server for code migration, optimization, and Arm architecture guidance

    von arm · MCP-Server

    Gelistet auf: Official MCP Registry, Docker MCP Catalog · Beschreibt nahezu dieselbe Aufgabe

Gelistet auf Official MCP Registry (5)

  • prover com.axiomatic-ai/prover

    Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

    von axiomatic-ai.com · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

  • leanforge-mcp io.github.sandraschi/leanforge-mcp

    MCP server for AI-driven formal proof search in Lean 4

    von sandraschi · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

  • Grounded Reasoning

    Verify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.

    von ALEXaquarius · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

  • Execute coq-proof-assistant-mcp

    Premium agentic endpoint for coq-proof-assistant-mcp.

    von Evozim · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt nahezu dieselbe Aufgabe

  • Euclid-MCP

    Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

    von meob · MCP-Server

    Gelistet auf: Official MCP Registry · Beschreibt eine ähnliche Aufgabe

Nach Bedeutung gefunden, nicht über gemeinsamen Code oder ein gemeinsames Repository: Ähnliche Plugins bleiben getrennte Produkte, und dies ist weder eine Bewertung noch eine Empfehlung.

Ist das Ihr Plugin?

Fügen Sie es Ihren Projekten hinzu und belegen Sie, dass Sie es pflegen: mit einer Datei im Repository, einer Datei auf Ihrer Domain oder einem DNS-Eintrag. Sie erhalten Hinweise, wenn ein Marktplatz es aufnimmt, entfernt, sein Verified-Zeichen oder seine Anforderungen ändert, und sein Remote-Endpunkt wird wie ein Webdienst überwacht.

Zu Ihren Projekten hinzufügen Ansehen, was das Panel kann

Daten von Official MCP Registry. Die Zahlen stammen aus unseren eigenen regelmäßigen Durchläufen über die Marktplätze, zuletzt abgerufen am . Kontaktdaten von Plugin-Herausgebern veröffentlichen wir nicht.

Woher die Daten stammen: wie der Katalog entsteht