Herausgeber · GitHub-Konto
Von ahmedEid1 veröffentlichte MCP-Server
2 Server der offiziellen MCP Registry sind unter dem Namensraum io.github.ahmedEid1/ veröffentlicht und haben eine Seite in diesem Verzeichnis: 1 ist remote und per URL erreichbar, 1 läuft lokal aus einem Paket. Erstmals veröffentlicht: 24. Mai 2026; letzte Aktualisierung: 30. Mai 2026.
Was dieser Herausgeber veröffentlicht
Namen unter io.github.ahmedEid1/ kann nur veröffentlichen, wer sich bei der MCP Registry als GitHub-Nutzer ahmedEid1 anmeldet oder in der gleichnamigen GitHub-Organisation die Rechte hat, die die Registry verlangt (ihre Dokumentation fordert inzwischen die Rolle Owner der Organisation). Der Name zeigt, welches GitHub-Konto den Eintrag veröffentlicht hat; er zeigt nicht, dass das Konto zu dem Unternehmen gehört, mit dessen Produkt ein Server arbeitet.
- Namensraum
io.github.ahmedEid1- Server mit eigener Seite
- 2
- Kategorien
- Daten und Suche (1) und Entwicklung (1)
- Transporte
- stdio (lokaler Prozess) (1) und Streamable HTTP (1)
- Paket-Registrys
- PyPI (1)
- Remote-Server mit deklariertem Header
- 0 von 1
- Pakete mit deklarierten Umgebungsvariablen
- 0 von 1
- Angegebene Websites
- forgejudge.ahmedhobeishy.tech
- Erstmals veröffentlicht
- 24. Mai 2026
- Letzte Aktualisierung
- 30. Mai 2026
Quell-Repositorys
Die 2 Repositorys, die diese Server angeben, mit der Zahl der Server, die jedes davon nennen, die meistgenannten zuerst.
| Repository | Server |
|---|---|
| github.com/ahmedEid1/forgejudge | 1 |
| github.com/ahmedEid1/thoth | 1 |
Alle 2 Server, von A bis Z
| Server | Ausführung |
|---|---|
| ForgejudgeOpen eval leaderboard + CI gate for autonomous coding agents (solve, score, trace). | Lokal · stdio |
| ThothRead-only MCP over an agentic SLR workspace with per-claim citation verification. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
Gruppiert nach Registry-Namensraum, wie ihn die MCP Registry angibt. Eine Seite hier ist keine Empfehlung, und für die Aufnahme zahlt niemand: Redaktionelle Grundsätze · Vor dem Verbinden eines Servers