Mmcp.market

gonzalgo MCP server

by vince-gonzalez·io.github.vince-gonzalez/gonzalgo·v0.5.6
No reviews yet

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

A89/100grade A
Write a reviewInstall
What users say
No reviews yet
Be the first
Safety scan
A89/100

full report

Adoption
Growing

2 stars61 downloads/wk

Reviews

Write one

Nobody has reviewed gonzalgo yet.

If you have run it, two minutes of your experience saves the next person an afternoon.

gonzalgo tools (10, 1 write)

write = sends, deletes, buys or posts

Read from the package source without running it. The installed server may list more.

  • audit_trust
  • axiom_reach
  • check_dump
  • how_to_extract
  • impact
  • kernel_index
  • metamath_audit
  • scope
  • why
  • write_lean_extractorswrite action

Public scan report

scanner v0.1.5 · 2026-09-19 · same rubric, same numbers if you re-run it

no findings
  • Code scan10 source files scanned25/25
  • –Live reliabilityno gateway calls yet and no remote to proben/a
  • –Tool poisoningtools not inspected (local package is not executed); not countedn/a
  • Auth qualitylocal package, no credentials required12/15
  • Maintenancelast push 9 days ago15/15
  • Maintainer identityregistry namespace matches repository owner6/10
Overall 89/100. Components that don't apply are left out of the denominator. Any critical finding is an F.RubricAppeal a findingJSON

Install directly

claude mcp add gonzalgo -- uvx gonzalgo
Add to Cursor

gonzalgo: common questions

Is gonzalgo MCP server safe?
Yes, by our scan: it is graded A (89/100). Read the gonzalgo safety report
How do I install gonzalgo?
It runs on your machine. Copy the Claude Code, Claude Desktop or Cursor config from the install section.
Does gonzalgo need an API key?
Not as far as the registry entry and our scan can tell: no credentials are declared or required.
Is gonzalgo maintained?
The last commit was 10 days ago (2026-09-11). The latest release is v0.5.6.

More from vince-gonzalez →