io.github.vince-gonzalez/gonzalgodev-tools

gonzalgo

Verified · 2 mo ago

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

Install

claude mcp add gonzalgo -- uvx gonzalgo

Our take

Analyzes Lean 4 or Metamath proofs to report dependencies such as inherited sorry, compiler trust, and axioms. It is for formal methods users who need clearer trust accounting around proof artifacts. The narrow scope is a strength for the right audience, though the small adoption footprint suggests a specialized, early-stage tool.

reviewed by hand · 2026-09-12

Something wrong or dead here? Report it

Verification record

last verified
2 mo ago
github stars
2
last commit
2 mo ago
archived
no
license
Apache-2.0
in registry since
2026-09-11

github.com/vince-gonzalez/gonzalgo

More in dev-tools

browse all →
context7dev-tools

Context7

Verified · 5 days ago

Up-to-date docs for AI agents

hand-reviewed63k starschecked 5 days ago

github-mcp-serverdev-tools

GitHub

Verified · 5 days ago

Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.

hand-reviewed34k starschecked 5 days ago

validatordev-tools

Oh My Posh Validator

Verified · 7 days ago

Validate oh-my-posh configurations and segment snippets against the official schema.

hand-reviewed24k starschecked 7 days ago

compiler-explorerdev-tools

Compiler Explorer

Verified · 39 days ago

Compile code with thousands of compilers, inspect the assembly, and share godbolt.org links

hand-reviewed19k starschecked 39 days ago

gitdiagramdev-tools

GitDiagram

Verified · 27 days ago

Architecture diagrams, explanations and Mermaid source for public GitHub repositories.

hand-reviewed18k starschecked 27 days ago