Moogle

✓ geprüft, Sync 2026-08-20

Moogle is an AI tool designed for semantic search in the mathlib4 repository. Its primary function is to enhance the process of finding theorems within the mathlib4 repository, all….

Preismodell—

Bewertung—

Community-Scorenoch nicht bewertet

Indexiert seit2026-08-20

Was es tut.

Aus dem Englischen übersetzt · Originaltext: Englisch

Moogle ist ein KI-Tool, das für die semantische Suche im mathlib4-Repository entwickelt wurde. Seine Hauptfunktion besteht darin, den Prozess des Findens von Theoremen im mathlib4-Repository zu verbessern und es Benutzern zu ermöglichen, relevante Inhalte effizient zu finden. Durch den Einsatz semantischer Suchtechniken ist Moogle in der Lage...

Registry-ID ndock:tool:moogle

Preis-Historie.

bei jedem Sync automatisch verglichen: das Changelog, das andere Verzeichnisse nicht führen

Keine freigegebenen Preisereignisse verzeichnet

Die Preise dieses Eintrags haben sich seit der Indexierung nicht geändert, oder eine Änderung ist noch in Prüfung. Null Ereignisse ist eine echte Antwort, keine fehlende Daten.