io.github.Archerkattri/mathlas
MCP-ServerMCP-RegistryUnbekannt
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Herkunft der Beschreibung: Originalquelle
Gemessen: 18.09.2026 · 38 Beobachtungen
Quellenbeleg
- Quelle
- MCP-Registry
- Letzte Aktivität
- Aktivitätsdatum unbekannt
- Beobachtungen
- 38
Eignung für Ihre Aufgabe wurde nicht bewertet.
Vergleichbare Messwerte sind nach Signal und Einheit gruppiert.
Gemessene Signale
- Downloads · letzte 7 Tage
- 189
- Downloads
- Gemessen · 18.09.2026
Momentum
- Momentum-Wert
- 0
- Zeitraum
- 7 Tage
- Absolute Änderung
- 0
- Relative Änderung
- 0%
- Öffentliche Signale
- Gemessen
Bereiche & Einsatzzwecke
- Bereiche
- Agenten, Skills und MCP
Installation
claude mcp add mathlas -- uvx mathlas-mcpMessverlauf
Vergleichbare Messwerte sind nach Signal und Einheit gruppiert.
Downloads · letzte 7 Tage
Downloads
Zeit
Genaue Werte
| Gemessen | Öffentliche Signale |
|---|---|
| 12.09.2026 | 189 Downloads |
| 13.09.2026 | 189 Downloads |
| 14.09.2026 | 189 Downloads |
| 15.09.2026 | 189 Downloads |
| 16.09.2026 | 189 Downloads |
| 17.09.2026 | 189 Downloads |
| 18.09.2026 | 189 Downloads |
Sterne
Sterne
Zeit
Genaue Werte
| Gemessen | Öffentliche Signale |
|---|---|
| 11.08.2026 | 9 Sterne |
| 12.08.2026 | 9 Sterne |
| 13.08.2026 | 9 Sterne |
| 14.08.2026 | 9 Sterne |
| 15.08.2026 | 9 Sterne |
| 16.08.2026 | 9 Sterne |
| 17.08.2026 | 9 Sterne |
| 18.08.2026 | 9 Sterne |
| 19.08.2026 | 10 Sterne |
| 20.08.2026 | 10 Sterne |
| 21.08.2026 | 10 Sterne |
| 22.08.2026 | 10 Sterne |
| 23.08.2026 | 10 Sterne |
| 24.08.2026 | 10 Sterne |
| 25.08.2026 | 10 Sterne |
| 26.08.2026 | 10 Sterne |
| 27.08.2026 | 12 Sterne |
| 28.08.2026 | 12 Sterne |
| 29.08.2026 | 12 Sterne |
| 30.08.2026 | 12 Sterne |
| 31.08.2026 | 12 Sterne |
| 02.09.2026 | 12 Sterne |
| 04.09.2026 | 12 Sterne |
| 05.09.2026 | 12 Sterne |
| 06.09.2026 | 12 Sterne |
| 07.09.2026 | 12 Sterne |
| 08.09.2026 | 12 Sterne |
| 09.09.2026 | 12 Sterne |
| 10.09.2026 | 12 Sterne |
| 11.09.2026 | 12 Sterne |
Klassifikationen
- Art
- Werkzeug