Projects / Work

Automated market systems, shown as builds.

Theta is a portfolio led product showcase. These compact case studies explain what Levi built, what problem each system solves, and what technical proof exists without making profit claims.

Crypto market automation

Theta Flow

Problem

Crypto spreads are fragmented across venues, disappear quickly, and are hard to verify by hand once fees and market depth are included.

What was built

A crypto arbitrage system that normalizes order books, scores executable spreads, layers sentiment context, and prepares routed execution.

Core stack / integrations

AstroTypeScriptSupabaseExchange APIsOrder books
14+ CEX/DEX venues system capability
<250ms scan target execution latency target
5 checks per spread fees, depth, route, limits, timing
100% automated path prototype workflow coverage
View Theta Flow

Sports market automation

Theta Edge

Problem

Odds move across bookmakers before a person can compare them, calculate expected value, size the stake, and place both sides reliably.

What was built

A bookmaker odds matrix that scores value lines, filters true arbitrage windows, and turns valid opportunities into execution tasks.

Core stack / integrations

AstroTypeScriptSupabaseOdds feedsEV models
28+ books modeled system capability
4 layers EV verification price, limits, stake, freshness
<5s market response execution target
47 demo opportunities prototype benchmark
View Theta Edge

Prediction market automation

Theta Signal

Problem

Equivalent event contracts can be named differently, priced differently, and settled differently across Kalshi and Polymarket.

What was built

A contract mapping and fee conscious arbitrage engine that compares outcomes, checks liquidity, and prepares matched positions across platforms.

Core stack / integrations

KalshiPolymarket
12+ market types system capability
6 checks per match fees, liquidity, rules, size, spread, timing
2 legs matched execution system design
18 verified windows prototype benchmark
View Theta Signal

System proof

Capability metrics, not profit claims.

54+ venues and books modeled 15+ checks across price, fees, depth, rules, and timing 3 automated market systems shipped as products