Mantis for Grok
io.github.alfred768/mantis
Cross-venue prediction market routing for AI agents with arbitrage, quotes, history, and signals.
client:Grok
transport:streamable-http
tools:6
Install Mantis in Grok
.mcp.json (in your project root)
{
"mcpServers": {
"mantis": {
"type": "http",
"url": "https://mantiss.store/mcp"
}
}
}Grok Build reads Claude Code's .mcp.json and Claude Desktop's config unchanged, so a server you have already set up there needs nothing new. The Grok web app and X integration do not take custom servers. Grok docs