Was ist mit Moogle passiert?

eingestellt Die hinterlegte URL (https://www.moogle.ai/) hat bei drei aufeinanderfolgenden Prüfungen nicht geantwortet; der Streak war am 2026-09-19 voll.

Die hinterlegte Adresse passt mit hoher Sicherheit zu Moogles eigener Domain, daher wird diese Beobachtung direkt über Moogle berichtet. Siehe die Methodik für die Zuordnung.

Beschreibung des Anbieters (englisch, unverändert übernommen):
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, allowing users to locate relevant content in an efficient manner. By leveraging semantic search techniques, Moogle is able ...

Lebende Alternativen

Noch keine aktiven Alternativen aus derselben Kategorie im Register. Der Tools-Index führt alles andere, was lebt.

Wie das entschieden wurde

Keine redaktionelle Entscheidung. Die hinterlegte URL ist drei Prüfungen in Folge fehlgeschlagen, mit einer Bestätigungs-Prüfung bevor der Streak zählte (eine Bot-Sperre zählt dabei nie als Fehlschlag), und die 3-Miss-Regel markiert den Eintrag automatisch als eingestellt. Antwortet die URL wieder, stellt das Register ihn von selbst wieder her: zuerst warn, dann active. Beide Richtungen werden als Ereignisse festgehalten.

Fehler entdeckt? Sagen Sie es uns. Korrekturen am Rekord werden angehängt, niemals umgeschrieben.