Verlauf von Euclid-MCP
io.github.meob/euclid-mcp · Registerstatus: aktiv
Angaben zu diesem Eintrag melden
Jede veröffentlichte Änderung an diesem Eintrag, die jüngste zuerst.
| 2026-09-08 | Verbindungswege (Quellstruktur): – → {"packages":[{"registryType":"pypi","identifier":"euclid-mcp","version":"0.4.5","runtimeHint":"uvx","transport":"stdio","environment":[],"additional_arguments_declared":false}],"remotes":[]} |
|---|---|
| 2026-08-26 | Beschreibung (Rohangabe): – → Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees |
| 2026-08-22 | Deklarierte Version: 0.4.3 → 0.4.5 |
| 2026-08-22 | Im Register geändert am (Rohangabe): 2026-08-18 → 2026-08-21 |
| 2026-08-22 | Im Register eingetragen am (Rohangabe): 2026-08-18 → 2026-08-21 |
| 2026-08-22 | Paketversionen (Rohangabe): 0.4.3 → 0.4.5 |
| 2026-08-19 | Deklarierte Version: 0.1.2 → 0.4.3 |
| 2026-08-19 | Im Register geändert am (Rohangabe): 2026-07-13 → 2026-08-18 |
| 2026-08-19 | Im Register eingetragen am (Rohangabe): 2026-07-13 → 2026-08-18 |
| 2026-08-19 | Paketversionen (Rohangabe): 0.1.2 → 0.4.3 |
| 2026-08-19 | Repository (Rohangabe): https://github.com/meo/euclid-mcp → https://github.com/meob/Euclid-MCP |
| 2026-08-19 | Homepage: https://github.com/meo/euclid-mcp → https://github.com/meob/Euclid-MCP |
| 2026-08-16 | Im Register geändert am (Rohangabe): – → 2026-07-13 |
| 2026-08-16 | Im Register eingetragen am (Rohangabe): – → 2026-07-13 |
| 2026-08-16 | Statusmeldung des Registers (Rohangabe): – → – |
| 2026-08-16 | Schemafassung des Rohsatzes (Rohangabe): – → https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json |
| 2026-08-16 | Symbolformate (Rohangabe): – → – |
| 2026-08-16 | Beschreibungen der Umgebungsvariablen (Rohangabe): – → – |
| 2026-08-16 | Formate der Umgebungsvariablen (Rohangabe): – → – |
| 2026-08-16 | Bereitstellungsform (Rohangabe): – → paket |
| 2026-08-16 | Remote-Hosts (Rohangabe): – → – |
| 2026-08-16 | Remote-Adressen (Rohangabe): – → – |
| 2026-08-16 | Laufzeithinweise (Rohangabe): – → uvx |
| 2026-08-16 | Paketversionen (Rohangabe): – → 0.1.2 |
| 2026-08-16 | Paketbezeichner (Rohangabe): – → euclid-mcp |
| 2026-08-16 | Repository-Unterordner (Rohangabe): – → – |
| 2026-08-16 | Repository-Plattform (Rohangabe): – → github |
| 2026-08-16 | Pfad-Umgebungsvariablen (Rohangabe): – → – |
| 2026-08-16 | Geheime Pflichtkopfzeilen (Rohangabe): – → – |
| 2026-08-06 | Deklarierte Version: – → 0.1.2 |
| 2026-08-06 | Repository-Adresse geführt: – → ja |
| 2026-08-06 | Pfadargument vorhanden: – → nein |
| 2026-08-06 | Ausführungsort: – → lokal |
| 2026-08-06 | Pflicht-Geheimnisse deklariert: – → nein |
| 2026-08-06 | Paketquellen (Rohangabe): – → pypi |
| 2026-08-06 | Repository (Rohangabe): – → https://github.com/meo/euclid-mcp |
| 2026-08-06 | Pfadargumente (Rohangabe): – → – |
| 2026-08-06 | Transportarten (Rohangabe): – → stdio |
| 2026-08-06 | Geheime Pflichtvariablen (Rohangabe): – → – |
| 2026-08-06 | Umgebungsvariablen (Rohangabe): – → – |
tracevero · https://tracevero.de/mcp/io-github-meob-euclid-mcp/aenderungen