Euclid-MCP
Rank #40,596io.github.meob/euclid-mcp
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
Euclid-MCP is a Model Context Protocol (MCP) server published by meob. It ranks #40,596 of 115,460 servers tracked on MCP Toplist. Euclid-MCP is listed on Official MCP, with 4 tracked versions. It was first listed on Jul 13, 2026 and most recently updated on Aug 21, 2026.
Ranks ahead of 74,864 of 115,460 servers on MCP Toplist.
Use Euclid-MCP
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add euclid-mcp -- uvx euclid-mcp[mcp_servers.euclid-mcp]
command = "uvx"
args = ["euclid-mcp"]Add to ~/.codex/config.toml.
{
"mcpServers": {
"euclid-mcp": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Add to claude_desktop_config.json (Settings → Developer → Edit Config).
{
"mcpServers": {
"euclid-mcp": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).
{
"servers": {
"euclid-mcp": {
"type": "stdio",
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Save as .vscode/mcp.json in your workspace.
{
"mcpServers": {
"euclid-mcp": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
{
"mcpServers": {
"euclid-mcp": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.meob%2Feuclid-mcp)<a href="https://mcptoplist.com/server/io.github.meob%2Feuclid-mcp"><img src="https://mcptoplist.com/badge/io.github.meob%2Feuclid-mcp.svg" alt="MCP Toplist: Top 50% of 115,460" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
meob
Other servers by meob
View all meob servers →Available versions (4)
| Version | Published |
|---|---|
| 0.4.5 | Aug 21, 2026 |
| 0.4.3 | Aug 18, 2026 |
| 0.4.2 | Aug 18, 2026 |
| 0.1.2 | Jul 13, 2026 |
Frequently asked questions
- Who maintains Euclid-MCP?
- Euclid-MCP is maintained by meob, which publishes 4 MCP servers (16 total versions) tracked on MCP Toplist.
- Is Euclid-MCP listed on the Official MCP Registry?
- Yes — Euclid-MCP is listed on the Official MCP Registry.
- How many versions does Euclid-MCP have?
- MCP Toplist tracks 4 versions of Euclid-MCP, most recently published on Aug 21, 2026.
- Where can I find the source code for Euclid-MCP?
- The source code for Euclid-MCP is hosted at github.com/meob/Euclid-MCP.