Publisher · GitHub account
MCP servers published by ahmedEid1
2 servers in the official MCP Registry are published under the namespace io.github.ahmedEid1/ and have a page in this directory: 1 remote, reached by URL, and 1 run locally from a package. First published 2026-05-24; latest update 2026-05-30.
What this publisher publishes
Names under io.github.ahmedEid1/ can only be published by someone who signs in to the MCP Registry as the GitHub user ahmedEid1, or as a member of the GitHub organisation of that name. The name shows which GitHub account published the entry; it does not show that the account belongs to the company whose product a server works with.
- Namespace
io.github.ahmedEid1- Servers with a page
- 2
- Categories
- developer (1), other (1)
- Transports
- stdio (local process) (1), Streamable HTTP (1)
- Package registries
- PyPI (1)
- Remote servers declaring a header
- 0 of 1
- Packages declaring environment variables
- 0 of 1
- Websites stated
- forgejudge.ahmedhobeishy.tech
- First published
- 2026-05-24
- Latest update
- 2026-05-30
Source repositories
The 2 repositories these servers state, with how many servers name each.
| Repository | Servers |
|---|---|
| github.com/ahmedEid1/forgejudge | 1 |
| github.com/ahmedEid1/thoth | 1 |
All 2 servers, A to Z
| Server | Runs |
|---|---|
| ForgejudgeOpen eval leaderboard + CI gate for autonomous coding agents (solve, score, trace). | Local · stdio |
| ThothRead-only MCP over an agentic SLR workspace with per-claim citation verification. | Remote · HTTP |
Grouped by registry namespace, as the MCP Registry states it. A page here is not an endorsement and nobody pays to be listed: editorial policy · Before you connect a server