Packet

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?

Escaping the matrix starts with finding the right people. The alpha is officially out of the bag. @superteam knows. we packed the cheat code. open the Packet. 👀

x.com/i/article/2058…

If you like @PhoenixTrade, you will love @FlashTrade

Demo Day, @Solana Startup Competition Belgrade by @SuperteamBLKN @JurassicFi full pitch by @Sora_i_guess & @vukan0x