AI-assisted builder. I ship real software by directing AI tools end to end โ idea to deployed product. Early-career, AI-assisted (not a senior unassisted engineer); my strength is shipping fast and operating what I build. Open to junior / trainee roles where building with AI is valued.
๐ Finland ยท Remote ยท ๐ซ๐ฎ Finnish (native) ยท ๐ฌ๐ง English (professional)
โ๏ธ Ranger Sovereign Vault โ Solana ยท ๐ Honorable Mention, 2026 hackathon A delta-neutral funding-arbitrage vault, deployed to Solana mainnet.
๐ฑ Babble Parenting โ a parenting mobile app Sound recording, feeding timers, calendar, and memory storage. Taken from concept to a published product.
๐ค Chimera โ trading automation Event-driven design, real-time market data, risk controls, parallel strategy testing.
๐ก๏ธ Cross-chain security tooling โ Slither ยท Foundry Static analysis that flags common smart-contract vulnerability patterns across several chains, with automated proof-of-concept checks.
๐ Telegram automation bots โ event-driven monitoring & notifications.
ControlBattery โ Lean 4 ยท mathlib
The statistics a control battery relies on, proved instead of asserted: ล idรกk never
exceeds Bonferroni, and Bonferroni's union bound needs no independence assumption.
Every result is kernel-checked and CI rejects any proof resting on sorry.
numguard ยท evalgate ยท agent-guard MCP servers agents can call: verify a number before asserting it, run the statistical checks that keep eval claims honest, and check an agent's action before it takes it.
The projects above this line have private source โ I'm happy to screen-share any of them live and walk through how they work.
I direct AI tools (Claude) to design, write, debug, and ship software, and I operate the resulting systems. Honest about my level; fast learner.