vibe coding sports apps
Joined January 2023
- Tweets 2,035
- Following 937
- Followers 427
- Likes 2,712
89 Photos and videos
SlamStats retweeted
Hey- do you have a link to lean proofs? Can include in sources section
1
1
4
290
SlamStats retweeted
Jun 14
we built Vitalik’s options-instead-of-debt construction into a live beta with @splitmarkets.
1 ETH → P N. N gets the upside, but there’s no debt or liquidation. exercise means paying the fixed strike and receiving the ETH, so settlement never reads a price oracle.
construction and Lean verification notes: ethresear.ch/t/building-inde…
split.markets
2
6
100
SlamStats retweeted
yes: github.com/mmchougule/split-…
the core result is T_OracleIndependence in:
lean/Split/Theorems.lean
lean/Split/Put/Theorems.lean
it proves that changing the external price, oracle answer, or DEX reserves cannot change the settlement transition. the repo also includes Foundry and Halmos checks against the shipped Solidity settlement paths.
appreciate you adding it to the sources.
1
5
66
SlamStats retweeted
Jun 11
this is the frame.
x*y=k turned liquidity into a simple invariant.
P N=1 turns collateral into tradable claims instead of debt positions that need liquidation.
ETH direction is the first market. the bigger unlock is synthetic assets built from fully-backed claim splits.
we shipped this at split.markets
1
5
16
378
SlamStats retweeted
Jun 11
try: pick long or short, pay the premium, open the claim, close onchain, see pnl, view the tx.
premium is max loss. no liquidation engine can force-close the position.
4
17
182
SlamStats retweeted
Jun 12
Vitalik recently asked:
“What if we use options as the base of DeFi, instead of CDPs and liquidations?”
That is the idea behind Split Markets.
Today, most leverage is built on debt.
You deposit collateral.
You borrow exposure.
If the market moves against you, you get liquidated.
Split Markets takes a different path.
Instead of debt, an asset is split into two sides:
P N = 1
One side takes the protected / covered side.
The other side takes the upside.
For traders, this means something simple:
You can buy upside with fixed risk.
No margin calls.
No forced liquidation.
No getting wiped out before expiry.
Your max loss is the premium you paid.
Split Markets is building liquidation-free markets for the next generation of DeFi.
Upside should be tradable.
Risk should be fixed.
Markets should survive volatility.
10
4
19
496
SlamStats retweeted
Jun 11
Options-based synthetic assets are live onchain: split.markets
Split turns WETH into tradable long/short claims with fixed downside. Traders pay a premium; LPs lock collateral, take the other side, and earn that premium.
Positions can close or exercise against WETH/USDC vault balances. Settlement does not need an ETH/USD oracle read.
This is the path to synthetic assets without debt or liquidation engines.
Jun 11
Looks like the options thing is happening already!
See also: various people thinking through and building different versions of the idea in the thread: ethresear.ch/t/building-inde…
Though I do strongly urge that if any of these get on mainnet quickly, we formally verify it first. I hope @vyperlang and/or github.com/lfglabs-dev/verit… folks ( @Fricoben) can help!
(Also, now is a good time to be thinking about robustness-optimized oracles)
firefly.social/post/x/206494…
13
11
33
1,626
SlamStats retweeted
Jun 7
latest close card.
buy upside → hold while ETH moves → sell back to the desk.
1
2
7
244
SlamStats retweeted
Jun 8
@_mayurc shipping like there is no tomorrow // @b402ai just shipped a full private trading stack in one month.
› Listed on DefiLlama
› Solana private execution live
- trade without your main wallet showing up on-chain
› Stealth Trader released
- open-source private trading infra, fork it and deploy it
› Telegram trading live
- buy, sell, manage positions from your phone
🔗 t.me/b402aibot
› Claude MCP integration
- AI agents can now trade through the same private rails
› Multi-chain: Solana, Arbitrum, Hyperliquid, Base, BNB
Privacy-native DeFi is getting real 🕯️🔥
Would love to see building on top of the best @Lighter_xyz @HyperliquidX @Polymarket
What @b402ai shipped in May
✦ Added to @DefiLlama
🔗 defillama.com/protocol/b402
✦ Solana support is now live
✦ Private execution rails launched on @solana
➜ Trade, lend and route through Solana markets without your main wallet appearing in every transaction
✦ Released Stealth Trader
➜ Open-source private trading infrastructure for Solana
🔗 x.com/_mayurc/status/2059497…
✦ Open-sourced the full Stealth Trader repository
➜ Fork it, deploy it, customize it
🔗 github.com/mmchougule/stealt…
✦ Telegram trading is now live
➜ Buy, sell, withdraw and manage positions directly from Telegram
🔗 t.me/b402aibot
✦ Copy Trading is live on @telegram
✦ Claude MCP integration
➜ AI agents can trade using the same private execution infrastructure
🔗 x.com/_mayurc/status/2059497…
✦ Shielded balances are live
➜ Keep funds private before execution
✦ Added confidential swaps for @solana
✦ Developers can now add confidential swaps to their own apps in a few lines of code
🔗 x.com/_mayurc/status/2053962…
✦ Expanded support for builders, partners and vibe coders
➜ Add private trading and confidential DeFi directly into existing applications
✦ Private Hyperliquid agents launched > zaara.trade
✦ Spawn private trading agents with @zaara_ai
➜ Run multiple strategies
➜ Trade without exposing wallets
➜ Maintain full custody
🔗 x.com/_mayurc/status/2056890…
✦ Private @arbitrum execution support added
🔗 x.com/_mayurc/status/2056890…
✦ Multi-chain support expanded across:
➜ Solana
➜ Arbitrum
➜ Hyperliquid
➜ Base
➜ BNB Chain
✦ Expanded MCP support for autonomous agents
✦ Improved dashboard and developer experience
🔗 dashboard.b402.ai
⸻
Here's What Coming Next
✦ Quests & XP
✦ More chains
✦ More agent skills
✦ Agent-to-agent payments
✦ Advanced trader analytics
✦ Expanded privacy tooling
✦ More AI-native trading capabilities
2
8
10
528
SlamStats retweeted
Jun 8
built a fully onchain SOL perp matcher on Percolator.
active-RFQ makers stream bid/ask quotes.
traders hit quotes.
matches and position updates land onchain.
the agent explains every fill.
sample open tx: 2,816 CU on devnet.
mainnet receipts repo next.
@toly is this the RFQ shape you had in mind for Solana perps?
3
4
25
496
SlamStats retweeted
Jun 10
huge for solana privacy. light’s address trees are exactly the primitive we’ve been using in @b402ai for one-shot nullifiers.
excited to see this become first-class infra for private swaps, lending, and markets.
1
1
14
754
SlamStats retweeted
Jun 10
live here. Claude using a shielded Solana balance to execute private trades without the user wallet showing up in the trade path.
open source. this is the kind of app-layer flow Light makes possible.
x.com/i/status/2060928913107…
May 31
we’re building private execution rails on Solana.
first version lets you trade, lend, and route through Solana markets without your main wallet showing up on every tx.
works from TG and Claude. OSS demo: github.com/mmchougule/stealt…
1
3
9
152
SlamStats retweeted
Jun 10
1
6
23
SlamStats retweeted
Jun 9
Arqen today is live as a Telegram native spot leverage product on Solana.
But the long term direction is bigger.
We are working toward a fully onchain version where more of the margin, position, risk, PnL and settlement logic becomes verifiable onchain.
Simple UX for traders.
Stronger infrastructure underneath. Stay tuned for more updates.
2
6
17
171
What @b402ai shipped in May
✦ Added to @DefiLlama
🔗 defillama.com/protocol/b402
✦ Solana support is now live
✦ Private execution rails launched on @solana
➜ Trade, lend and route through Solana markets without your main wallet appearing in every transaction
✦ Released Stealth Trader
➜ Open-source private trading infrastructure for Solana
🔗 x.com/_mayurc/status/2059497…
✦ Open-sourced the full Stealth Trader repository
➜ Fork it, deploy it, customize it
🔗 github.com/mmchougule/stealt…
✦ Telegram trading is now live
➜ Buy, sell, withdraw and manage positions directly from Telegram
🔗 t.me/b402aibot
✦ Copy Trading is live on @telegram
✦ Claude MCP integration
➜ AI agents can trade using the same private execution infrastructure
🔗 x.com/_mayurc/status/2059497…
✦ Shielded balances are live
➜ Keep funds private before execution
✦ Added confidential swaps for @solana
✦ Developers can now add confidential swaps to their own apps in a few lines of code
🔗 x.com/_mayurc/status/2053962…
✦ Expanded support for builders, partners and vibe coders
➜ Add private trading and confidential DeFi directly into existing applications
✦ Private Hyperliquid agents launched > zaara.trade
✦ Spawn private trading agents with @zaara_ai
➜ Run multiple strategies
➜ Trade without exposing wallets
➜ Maintain full custody
🔗 x.com/_mayurc/status/2056890…
✦ Private @arbitrum execution support added
🔗 x.com/_mayurc/status/2056890…
✦ Multi-chain support expanded across:
➜ Solana
➜ Arbitrum
➜ Hyperliquid
➜ Base
➜ BNB Chain
✦ Expanded MCP support for autonomous agents
✦ Improved dashboard and developer experience
🔗 dashboard.b402.ai
⸻
Here's What Coming Next
✦ Quests & XP
✦ More chains
✦ More agent skills
✦ Agent-to-agent payments
✦ Advanced trader analytics
✦ Expanded privacy tooling
✦ More AI-native trading capabilities
May 20
spinning up private Hyperliquid agents with @zaara_ai:
• spawn operators in one click
• trade without exposing your wallet
• run multiple strategies in parallel
• withdraw anytime, you keep control
5
8
23
1,878
Useful Links
> Dashboard
dashboard.b402.ai
> Telegram Bot (Beta)
t.me/b402aibot
> Website
b402.ai
> Docs
docs.b402.ai
> GitHub
github.com/b402-ai
> Stealth Trader OSS
github.com/mmchougule/stealt…
> Solana Private Execution
x.com/_mayurc/status/2060928…
> Stealth Trader Claude MCP
x.com/_mayurc/status/2059497…
> Private Hyperliquid & Arbitrum Agents
x.com/_mayurc/status/2056890…
> Confidential Swaps SDK
x.com/_mayurc/status/2053962…
2
9
271
SlamStats retweeted
Jun 7
exactly. the next breakout probably won’t look like another YES/NO interface.
it’ll feel like a position: upside, downside, levels, launch outcomes. consumer-simple on the surface, verifiable settlement underneath.
1
9
148
SlamStats retweeted
Jun 6
we built a Solana-native privacy protocol at @b402ai.
shielded pools, ZK spends, nullifiers, and private execution for swaps, lending, perps, and agents.
1
6
14
487
