I spent the past 3 hours working with @colosseum's Copilot, but WHY? To review all 2,858 projects and let Copilot decide the Top 10. Here are the results, and I bet they’re nothing like what you expect 👇 #1: Mosaic 🇹🇷 > Why? The only proof-system-agnostic ZK verifier on Solana L1, supports Groth16, PLONK, Halo2, STARKs, and folding schemes in one API. Concrete engineering: Groth16 at 84K CU. Every other ZK project in this hackathon becomes easier if Mosaic exists. #2: SAK / @techies_hub_frU 🇮🇪 > Why? Simulates every AI agent transaction in LiteSVM against 2,010 rules before it ever gets signed, a pre-sign kill switch. This is the correct safety architecture for autonomous agents handling real money, and no one else in 2,858 projects built it. #3: AgentTrust / @agenttrustlabs 🇮🇳 > Why? Formally verified with Kani (6 invariants), already composing with live Quantu programs on mainnet, and ships an MCP server, meaning it plugs natively into Claude's tool-use ecosystem. Formal verification in a hackathon project is exceptionally rare. #4: Anneal / @Anneallab 🇸🇬 > Why? Private OTC options negotiated by AI agents, with ZK-sealed bids settling on Solana in ~10 seconds. The only 6-person team in the top 10, targeting an uncrowded niche (private DeFi, crowd score 270 vs 325 for generic AI agents). #5: OBLIQ / @0xgunaseelan 🇮🇳 > Why? The team claims 450M sponsored transactions, 29M users, and $12B cross-chain volume from a prior product, the strongest real-world execution signal in the entire dataset. Gasless cross-chain onboarding solves a friction point every Solana dApp faces. #6: Veritas 🇮🇳 > Why? AI agents stake SOL as collateral, generate ZK proofs of policy compliance per action, and get slashed automatically on violations, no human needed. Staking-based accountability is the right economic design; no other project in the list got this far. #7: Keymint 🇮🇳 > Why? Wraps any HTTP API as an x402 endpoint, charging agents per request in USDC with an on-chain audit PDA. Same wienerlabs team as Mosaic, two complementary primitives (ZK verification API monetization) from one high-quality team. #8: Chord / @ChordOracle 🇮🇪 > Why? Lets a Solana smart contract trigger any Web2 API, OpenAI, Stripe, Slack, Salesforce, in a single line of code, abstracting the entire custom oracle stack. It's the cleanest solution to the "smart contracts can't call the internet" problem in the dataset. #9: Herald Protocol / @useheraldmail 🇳🇬 > Why? Delivers DeFi notifications (liquidations, order fills, governance) via email/Telegram/SMS without exposing wallet identity on-chain, using AWS Nitro Enclaves and ZK compressed delivery receipts. Every protocol needs alerting; nobody else solved the privacy half of it. #10: WorkChain / @AdityaChot15838 🇮🇳 Why? USDC escrow that unlocks automatically when an AI verifier confirms the work is done,no human approval, no disputes. The thesis is sharp and timed perfectly: as AI agents do real work, payment rails that verify agent output become essential infrastructure. What do you think of these Copilot choices?

Fourth place: Chord @chordoracle Chord is Solana’s Web2 integration layer. Call any API directly from a Solana program with a single line of code. Congrats to all: Ushen Wijayaratne, Tóla Bowen MacCurtáin, Violet Browne, Jeaic C.