Le catalogue réel des outils pour IA

Unofficial safety-focused MCP server for Kalshi market data and explicitly authorized trading

Hosted MCP for Kalshi prediction markets: search, odds, order books, settlement rules, and trading.

Constitutional AI kernel with 13 MCP tools, 888_JUDGE verdict pipeline, and VAULT999 ledger.

Kalshi MCP — US-regulated prediction-market data (no auth on public reads).

Verify consequential AI actions before they execute.

Cross-venue Polymarket+Kalshi arbitrage: resolution mismatch, void risk & settlement divergence.

Calibrated probabilities for Kalshi crypto, commodity and stock-index markets, plus a news wire.

Polymarket & Kalshi whale trades, ranked traders, backtesting and Autopilot. $15/mo.

Deterministic research state, evidence validation and statistical recomputation.

Local-first memory for AI agents: SQLite FTS5, deterministic recall, no vector DB, no cloud.

Live Kalshi + Polymarket prices, orderbooks, trades, results. Pay per result via Apify.

One row per game, matched across Kalshi, Polymarket US/Intl and Predict.fun. Mapping only.

Access Kernel's cloud-based browsers and app actions via MCP (remote HTTP + OAuth).

MCP server for Kalshi prediction markets: native RSA-PSS auth, rate limiting, demo/prod safety.

Cross-venue prediction markets for AI agents: Polymarket + Kalshi, costed and attributed

Search, analyze, and trade Kalshi prediction markets through Claude Desktop

MCP server for end-to-end trading on Kalshi prediction markets: discover, research, trade.

Run a side effect exactly once under retries, redelivery, and concurrent workers.

Agent-first CAD: editable .kcad.ts source, deterministic review, OpenCASCADE kernel.

Verify what agents actually shipped, arbitrate file collisions, refuse with structured reasons.