winszn labs

Independent engineering studio.

We research, build and ship systems at the edge of software, protocols and infrastructure.

[winszn labs @winsznlabs]

https://t.co/tX21cDAu5x

[winszn labs @winsznlabs]

Submitted Relay for the @sibyl_labs_ hackathon.

Relay survives real agent process death: SIGKILL the worker, start a fresh runtime, restore execution from Sibyl, verify the checkpoint on @base, then continue the same paid @virtuals_io ACP job without replaying completed work.

Kill the agent. The work survives.

[winszn labs @winsznlabs]

https://t.co/IVR8TDEczl

[winszn labs @winsznlabs]

https://t.co/riPquQ19bH

[winszn labs @winsznlabs]

https://t.co/riPquQ19bH

[winszn labs @winsznlabs]

https://t.co/IVR8TDEczl

[winszn labs @winsznlabs]

https://t.co/IVR8TDEczl

[winszn labs @winsznlabs]

I built AIRSPACE for the Somnia × DreamDEX Event Contracts Hackathon.

Prediction markets are becoming increasingly autonomous.

Soon, one trader won’t be manually managing one wallet and one strategy. They’ll be running multiple agents across continuously rolling markets, each making its own decisions and placing its own orders.

That creates a problem most agent systems don’t solve:

Every agent can follow its own rules and the portfolio can still become collectively overexposed.

That’s what AIRSPACE handles.

AIRSPACE is the portfolio control plane for autonomous prediction markets.

It lets multiple independent DreamDEX Event Contract agents operate from one shared capital pool while enforcing portfolio-wide risk before a new trade can execute.

Here’s the simplest example.

A portfolio has a risk ceiling of 500.

Momentum Agent is already using 180.
Oracle Agent is using 240.

That means the portfolio is at:

420 / 500

Now Mean Reversion finds a valid DreamDEX trade for another 150.

Its own checks pass:

•agent policy: PASS
•Event Contract is live: PASS
•market generation: PASS
•price / lot rules: PASS
•collateral: PASS

But at the portfolio level:

420 + 150 = 570 > 500

So AIRSPACE blocks it.

Not because the agent made a bad prediction.

Not because the market was invalid.

Because the other agents had already consumed the portfolio’s remaining risk capacity.

Once capacity is released, the same trade can become admissible again.

That is the core idea:

one capital pool, many independent trading agents, one shared risk envelope.

AIRSPACE is built directly around DreamDEX Event Contracts on Somnia Shannon.

It handles the things that start to matter once agents trade continuously:

•shared portfolio limits across independent strategies
•reservations counting before resting orders fill
•live DreamDEX Event Contract execution
•rolling market generations without per-market owner configuration
•position and reservation reconciliation
•permissionless release of stale capacity
•owner recovery independent of the agents or backend

The system also continuously checks its own risk accounting against an independent exposure model rather than trusting the same number it is enforcing.

This became especially important during development: live trading exposed a flaw in our first reservation model that our initial fuzz suite had missed. We reproduced it, replaced the model, redeployed AIRSPACE v2, and replayed the failing state against the corrected implementation.

I think this becomes increasingly important as prediction markets move from:

humans placing individual bets

to

fleets of autonomous strategies continuously allocating capital.

DreamDEX gives those agents markets and execution.

AIRSPACE gives the entire fleet one portfolio to operate safely.

Built for the Somnia × DreamDEX Event Contracts Hackathon.

Live app: https://t.co/WJlco4mJ1W
GitHub: https://t.co/xs2enwFUhC

@Somnia_Network
@SomniaDevs
@dreamDEXSomnia

[winszn labs @winsznlabs]

Track A submission: Rove

“Hedge 70% of my BNB for 24h. Don’t sell my BNB. Keep leverage below 1.5x.”

Rove is an AI execution agent for Binance Agent OS that lets you describe the outcome you want instead of choosing the Binance product yourself.

It reads live Binance state, checks the eligible paths across Spot, Convert and USD-M, rejects routes that break your constraints, compares their real execution costs, and gives you one Route Card to approve.

One live example:

On a captured $750 BNB buy, Spot cost 10.07 bps while the Convert RFQ came out at 54.97 bps after accounting for the embedded quote markup.

Rove chose Spot. 44.90 bps difference on that quote.

For hedges, Rove can derive the position size from your actual exposure, calculate the leverage required from available collateral, account for funding over your requested horizon, and reject a route if it exceeds your limits.

Built directly on Binance Agent OS MCP.
Live-read verified against production Binance. Trading remains approval-gated.

Demo attached.

Live: https://t.co/xymHbpQAdz
GitHub: https://t.co/BMonH7o0CW

@binance Agent OS Mini Hackathon, Track A

[Binance @binance]

Introducing the Binance Agent OS Mini Hackathon.

$60,000 USDC Prize Pool.
Just 7 days to build and submit your entry.

Two ways to win:
🛠️ Track A: Build an AI agent with Agent OS (20K USDC)
⚡ Track B: Connect your MCPs and trade (40K USDC)

Pick your track. Build your workflow.

You’ve got until Sept 8, 2026, at 23:59 UTC.

How to enter:
→ Follow @Binance & repost this post
→ Reply or quote repost with your submission (Track A only: video/demo + GitHub, if applicable)
→ Complete the survey: https://t.co/ciX8P7xFDZ

We built Agent OS. You build what's next. 🫡

Disclaimer: This is not an offer or solicitation to trade any financial product. Not available to users in jurisdictions including: US, UK, EEA, Hong Kong, Singapore, and the jurisdictions on Binance's prohibited list (see https://t.co/j87Pp5MLvd for details)

[Binance @binance]

Introducing the Binance Agent OS Mini Hackathon.

$60,000 USDC Prize Pool.
Just 7 days to build and submit your entry.

Two ways to win:
🛠️ Track A: Build an AI agent with Agent OS (20K USDC)
⚡ Track B: Connect your MCPs and trade (40K USDC)

Pick your track. Build your workflow.

You’ve got until Sept 8, 2026, at 23:59 UTC.

How to enter:
→ Follow @Binance & repost this post
→ Reply or quote repost with your submission (Track A only: video/demo + GitHub, if applicable)
→ Complete the survey: https://t.co/ciX8P7xFDZ

We built Agent OS. You build what's next. 🫡

Disclaimer: This is not an offer or solicitation to trade any financial product. Not available to users in jurisdictions including: US, UK, EEA, Hong Kong, Singapore, and the jurisdictions on Binance's prohibited list (see https://t.co/j87Pp5MLvd for details)

[winszn labs @winsznlabs]

https://t.co/iBtGqa6YM3

[winszn labs @winsznlabs]

built on @Starknet @StarkWareLtd @StarknetFndn @StarknetEco

[winszn labs @winsznlabs]

https://t.co/iBtGqa6YM3

[Tim @winsznx]

Thank you iExec

It’s thrilling, privacy is king.

[winszn labs @winsznlabs]

Built for @zama Season 4.
#ZamaDeveloperProgram

[winszn labs @winsznlabs]

We built Serein.

A confidential no-loss prize-savings protocol where balances, draw weights, odds, randomness, winners and prizes can stay encrypted while winner selection remains mathematically exact.

Private savings. Fair prizes.

Built with @zama, live on Sepolia.

Full breakdown ↓

[winszn labs @winsznlabs]

https://t.co/JLmawAw9rB

[winszn labs @winsznlabs]

Built for @zama Season 4.
#ZamaDeveloperProgram

[winszn labs @winsznlabs]

https://t.co/JLmawAw9rB

[winszn labs @winsznlabs]

https://t.co/xhMYkctlto

[Tim @winsznx]

Just won my 16th hackathonnnnn 🔥🔥❤️❤️🥹

Kyrve took 1st by doing one thing properly: keeping the entire lending curve private, revealing one executable quote, and settling it exactly on Midnight.

Big on Privacy.

[winszn labs @winsznlabs]

https://t.co/xhMYkctlto

[winszn labs @winsznlabs]

https://t.co/ZthDViW3Hm

[Tim @winsznx]

Built something I genuinely wanted to exist.

Night Shift is an autonomous incident response system for moments where “send an alert and hope someone responds” isn’t enough.

Six Gemini agents reason through the incident. A deterministic safety kernel decides what can actually happen.

Full technical writeup below.

[winszn labs @winsznlabs]

https://t.co/tX21cDAu5x