agentmods.dev

vince-gonzalez/gonzalgo

Axiom provenance for Lean 4 and Metamath — which step introduced an axiom, and whether the theorem statement required it Website: https://f-keys.com/gonzalgo/

Open on GitHub f-keys.com

2Stars on the repository

6Mods indexed here, across every type

20d agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

lean-axiom-provenance

vince-gonzalez/gonzalgo

Plugin Claude Code

Bundles 2 skills, 2 commands, 1 MCP server · 390 tokens together

Find out what a Lean 4 project rests on and why — inherited sorry, nativedecide, and which step introduced an axiom, with statement dependencies kept apart from proof dependencies.

not rated 2 20d ago A tokens not measured original Apache-2.0