Mantis

io.github.Alfred768/mantis

Cross-venue prediction market routing for AI agents with arbitrage, quotes, history, and signals.

View repository →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Cursor · HTTP clients.

{
  "mcpServers": {
    "mantis": {
      "url": "https://mantiss.store/mcp"
    }
  }
}

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
AI & ML
Version
1.1.4
Registry
active
Published
6/14/2026

Remotes

  • streamable-httphttps://mantiss.store/mcp

More AI & ML servers

Browse all AI & ML →

otgate — OT policy gateway

alikup-ai

Gates an LLM agent's writes to an OPC UA server on ranges, rate of change and live interlocks.

AI & MLAdded 3 days ago

otgate — OT policy gateway

alikup-ai

Gates an LLM agent's writes to an OPC UA server on ranges, rate of change and live interlocks.

AI & MLAdded 3 days ago

io.github.alipishbin77/aether

alipishbin77

Marketplace where AI agents hire other agents, paid per call in USDC. Plus LLM inference.

AI & MLAdded 1 month ago

LLMScribe

AMRITO-KUNDU

Deterministic local project map, search and file reader for AI agents.

AI & MLAdded 2 weeks ago

AI API Cost Firewall & Rate Limiter

Ansarii

Token guard and rate limiter preventing runaway API cost spikes for OpenAI and Anthropic.

AI & MLAdded 1 month ago

AISIX AI Gateway

api7

Self-hosted AI gateway that governs MCP servers, LLM traffic, and A2A agents behind one endpoint

AI & MLAdded 1 month ago

Add the badge to your site

Show visitors that Mantis is listed here — it’s also the link we check for a free listing.

Mantis — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-alfred768-mantis?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="Mantis — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![Mantis — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-alfred768-mantis?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.