1. Conduid
  2. Science
  3. gonzalgo
MCP server · Science

gonzalgo

· github.com/zengineco/gonzalgo

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

Unclaimed science
InstallView source
37Low

Scored 2 days ago · breakdown

About gonzalgo

gonzalgo is an MCP server in the Science category: reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.

Install

uvx
uvx gonzalgo
pip
pip install gonzalgo

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about gonzalgo

Powered by Claude · Grounded in docs

I know everything about gonzalgo. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About gonzalgo

How do I install gonzalgo?

Run uvx gonzalgo, then add the server to your MCP client's configuration.

Is gonzalgo safe to use with an AI agent?

Its trust score is 37 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is gonzalgo still maintained?

Conduid hasn't recorded a commit date for this repository yet. Check the repository directly for recent activity.