ozgur eryilmaz
hi, i'm ozgur.
currently: an undergraduate student, building solodot and growth engineer intern at marx finance
i spend most of my time building agentic infrastructure and workflows, studying how agents interact, and exploring how to build effective agent and harnesses. lately, i've been building autonomous growth systems and engines for marx finance.
projects
- polymarket-mcp: rust mcp server and cli that give ai agents access to polymarket prices, market data, and search.
- quantum-lean: quantum computing simulations in lean 4, featuring the deutsch–jozsa algorithm.
- prooftrade: evidence-driven spot trading for okx, with agent reasoning, deterministic risk controls, and a replayable audit trail. built for the komünite agentic trading hackathon.
- fromthetransistor: learning the computer stack from first principles by building verilog hardware, a python linker, and a rust fat filesystem.
- fromtheuop: learning how machine learning compilers work from first principles, from uop graphs and rewrites to gpu kernels and automatic differentiation.
contact me via email or view my