Mantis
Rank #49,289io.github.Alfred768/mantis
Cross-venue prediction market routing for AI agents with arbitrage, quotes, history, and signals.
Mantis is a Model Context Protocol (MCP) server published by Alfred768. It ranks #49,289 of 137,492 servers tracked on MCP Toplist. Mantis is listed on Official MCP, with 3 tracked versions. It was first listed on Jun 13, 2026 and most recently updated on Jun 14, 2026.
Ranks ahead of 88,203 of 137,492 servers on MCP Toplist.
Use Mantis
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add --transport http mantis https://mantiss.store/mcp[mcp_servers.mantis]
url = "https://mantiss.store/mcp"Add to ~/.codex/config.toml.
https://mantiss.store/mcpSettings → Connectors → “Add custom connector”, then paste this URL.
{
"mcpServers": {
"mantis": {
"url": "https://mantiss.store/mcp"
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project).
{
"servers": {
"mantis": {
"type": "http",
"url": "https://mantiss.store/mcp"
}
}
}Save as .vscode/mcp.json in your workspace.
{
"mcpServers": {
"mantis": {
"serverUrl": "https://mantiss.store/mcp"
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
{
"mcpServers": {
"mantis": {
"url": "https://mantiss.store/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.Alfred768%2Fmantis)<a href="https://mcptoplist.com/server/io.github.Alfred768%2Fmantis"><img src="https://mcptoplist.com/badge/io.github.Alfred768%2Fmantis.svg" alt="MCP Toplist: Top 50% of 137,492" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
Alfred768
Available versions (3)
| Version | Published |
|---|---|
| 1.1.4 | Jun 14, 2026 |
| 1.0.1 | Jun 13, 2026 |
| 1.0.0 | Jun 13, 2026 |
Frequently asked questions
- Who maintains Mantis?
- Mantis is maintained by Alfred768, which publishes 1 MCP server (3 total versions) tracked on MCP Toplist.
- Is Mantis listed on the Official MCP Registry?
- Yes — Mantis is listed on the Official MCP Registry.
- How many versions does Mantis have?
- MCP Toplist tracks 3 versions of Mantis, most recently published on Jun 14, 2026.
- Where can I find the source code for Mantis?
- The source code for Mantis is hosted at github.com/Alfred768/prediction-router-portal.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.