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?
Looking back at @superteamIE's biggest @colosseum yet.
for Frontier, we had 68 submissions in total (once N.I. is attributed).
up from 39 at the Cypherpunk hackathon.
registrations also doubled.
it's great that we keep growing, and it's a testament to how engaged the Irish community is.
and while raw counts are useful.., they don't tell the full story.
the real things to be looking at here is in conversion & conviction; how many teams keep building. how many get users, raise funding, become active ecosystem contributors.. etc.
and speaking for myself and @A_gutierro, weโre truly excited to show @solana and the world that Ireland isnโt just producing more teams... itโs producing teams with the quality and most importantly.. conviction.
our demo day was a signal of this:
๐ฅ $4000 @looftaxyz - a non-custodial payment platform built on @magicblock's private ephemeral rollup.
๐ฅ $2500 @AuxinAutomata - an SDK that gives robots running ai models the ability to pay for compute autonomously while enabling immutable compliance logs.
๐ฅ $1500 @MentionedMarket - a social prediction market where you bet on which words or names appear in real-world media.
๐ $1000 @ChordOracle - calling APIs from smart contracts usually means building a custom oracle. Chord abstracts that away: define any off-chain action and trigger it from your Solana program in one line. OpenAI, Slack, Stripe, Salesforce - any API fully onchain
๐ $1000 @SaySoFun - capital-efficient prediction markets on Solana. Borrow stablecoins against live exposure, loop for leveraged conviction.
thank you to our judges & mentors who helped throughout our buildstation also. your time & energy never goes unappreciated; @PeteTownsendNV, @j0hmo, @3_DavidMc, @inks, @BulldogXBT, @uxmiles
& more.
finally, a big shoutout to my team: el jefe @A_gutierro, @irishnftgal for finally giving our socials the love it deserves, and Virginia (she's not on X but she does a lot of the invisible labour with events)
big congrats to everyone who shipped.
i'm proud of you all and proud of us as a community and ecosystem.
@superteam@looftapay@AuxinAutomata@buildcoldstar@opsonchain@anon0mesh@dumdotfun@tntxdotai@stealf_finance@MentionedMarket@stealf_finance@ChordOracle@Zela_payment@basedbidx@Upscalpfutures@SaySoFun@sota_web3@Protocol01_@moongrow420@VANE_defi@Auths_dAdX@coloniiworld@SourcingLens@iochaindev@LeverRisk@WizzaidOS@chatpaydotone@AgentWalletHQ@LatinumAI@16SignalsHQ
& more.
The arena has officially concluded, but we donโt stop building.
2026 is our year. We beat our records. Most submissions ever received.
We are still on cloud 9.
Congrats again to all the Dublin Demo Day winners @looftapay@auxinautomata@mentionedmarket@chordoracle@saysofun ๐
Youโve done Ireland incredibly proud.
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.