Oracle3: Fee-Aware No-Arbitrage Checks Across Kalshi and Polymarket
Maps the logical relations between event contracts on Kalshi and Polymarket, finds the cheapest basket at executable prices whenever quotes break the axioms of probability, prices every leg under that venue's own fee schedule, and paper-trades the baskets that survive under pre-trade risk limits.
Contracts on related outcomes are tied together by probability. If A implies B, then P(A) ≤ P(B); if A and B cannot both happen, P(A) + P(B) ≤ 1; the outcomes of one event sum to one. Quoted prices break these bounds, within a venue and across venues, and a basket that pays a known amount in every state can then be bought for less than that amount. The gaps are small, and both venues charge taker fees that scale with p(1 − p), so whether a gap is worth anything depends on the fee on every leg. Oracle3 records which markets are related and how — implication, exclusivity, complement, the same event across venues, event sums — finds the cheapest basket for each relation, reports the edge before and after fees, and paper-trades the survivors under position, drawdown and exposure limits with a kill switch. It installs from PyPI and runs as an MCP server, so AI agents can call the same checks. It is research software with no live track record. Oracle3 began at U Lab (UIUC) with Haofei Yu and bundles the lab's open-source Coinjure package.