Öffentliches Register · misst, bewertet nicht
gonzalgo
io.github.zengineco/gonzalgo · Status: aktiv · https://f-keys.com/gonzalgo/
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Beschreibung des Anbieters, unübersetzt und ungeprüft
| Zugangsdaten erforderlich | nein / no Rohangabe — Geheime Pflichtvariablen (Rohangabe): nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-06 · abgeleitet |
|---|---|
| Ausführungsort | lokal Rohangabe — Transportarten (Rohangabe): stdio Quelle: MCP-Register · erhoben am 2026-08-06 · abgeleitet |
| Pfadargument vorhanden | nein / no Rohangabe — Pfadargumente (Rohangabe): nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-06 · abgeleitet |
| Repository-Adresse geführt | ja / yes Rohangabe — Repository (Rohangabe): https://github.com/zengineco/gonzalgo Quelle: MCP-Register · erhoben am 2026-08-06 · abgeleitet |
| Version | 0.5.2 Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Umgebungsvariablen (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Geheime Pflichtvariablen (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Transportarten (Rohangabe) | stdio Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Pfadargumente (Rohangabe) | nachweislich nicht vorhanden Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Repository (Rohangabe) | https://github.com/zengineco/gonzalgo Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
| Paketquellen (Rohangabe) | pypi Quelle: MCP-Register · erhoben am 2026-08-06 · Selbstauskunft |
Änderungen
| 2026-08-06 | version: — → 0.5.2 |
|---|---|
| 2026-08-06 | quelloffen_einsehbar: — → true |
| 2026-08-06 | dateisystem_pfadargument: — → false |
| 2026-08-06 | ausfuehrungsort: — → lokal |
| 2026-08-06 | zugangsdaten_erforderlich: — → false |
| 2026-08-06 | roh_paketquellen: — → pypi |
| 2026-08-06 | roh_repository_url: — → https://github.com/zengineco/gonzalgo |
| 2026-08-06 | roh_pfadargumente: — → — |
| 2026-08-06 | roh_transportarten: — → stdio |
| 2026-08-06 | roh_geheime_pflichtvariablen: — → — |
| 2026-08-06 | roh_umgebungsvariablen: — → — |