Pantheon-Trades
An MIT-licensed Arc-native stack combining a Foundry suite of 20+ contracts (with Halmos symbolic checks) and a ~13-service Python monorepo. The Solidity layer includes ProofOfRestraint.sol (on-chain proof of agent non-action), VisitorWitness.sol, NoTradeAlpha.sol, and TradeIntent.sol, an EIP-712 x402 PaymentAuthorization verifier with nonce-replay protection and EIP-2 low-s malleability rejection; six contracts are deployed to Arc (chain 5042002) with recorded tx hashes and a live first-restraint witness. It also ships TypeScript helpers (x402, session keys with TTL/per-trade/cumulative USDC caps, a wagmi MetaMask decimals workaround) and Python primitives including a fallback LLM client chain and a genuine 11-agent four-round debate council with Zeus/Solon vetoes recorded as on-chain restraint events.
1 (Solo) — Muhammad Afsah (NAME)
Eleven AI agents deliberate every prediction-market trade. Restraint is anchored on-chain. Polymarket CLOB + Arc Testnet. 11 LLM providers, one env var. Half-Kelly with caps, self-calibrating, fully open-source.