# Oliver Dressler

> Software engineer with a PhD from ETH Zürich. I build systems where software meets hard problems: AI for machine-checked mathematics in Lean 4, quantitative investment platforms and automated scientific instruments. These days I mostly build tools that let AI agents do real work: proving theorems in Lean, apps for ChatGPT and MCP servers.

https://oli.show/ is Oliver's portfolio. The homepage is an interactive 3D scene (WebGL); the same content is available as plain text below.

## Work with Oliver

Open to freelance, contract and advising work: AI agents and MCP servers, Lean 4 and machine-checked mathematics, ChatGPT apps, machine learning and quantitative systems, lab and instrument automation.

- Email: work@oli.show
- Signal: [notquiteoliver.01](https://signal.me/#eu/D0UDRjo6cTHMOHcPG6fT2-EjoXjA_5vzpsybGPidlw2cEn61xPlGdrExAYpLPO_b), Oliver's AI assistant [Not Quite Oliver](https://oli.show/assistant/): it answers questions about his public work and passes messages on to him

## This site

- [Projects (Markdown)](https://oli.show/projects.md): every project, work and music entry with description, highlights, technologies and links
- [Projects (HTML)](https://oli.show/projects.html): the same content as a web page
- [config.json](https://oli.show/static/config.json): raw data the scene and both text versions are built from

## Software

- [Diorama](https://diorama.oli.show/): Describe a scene in ChatGPT and a 3D voxel diorama builds beside the chat.
- [Oliver's Anatomy](https://anatomy.oli.show/): A 3D anatomy atlas in the browser: muscles, bones, nerves, vessels and organs, where pain can come from, and the body moving.
- [Lean Theorem Prover MCP](https://github.com/oOo0oOo/lean-lsp-mcp): MCP that allows agentic interaction with the Lean theorem prover using leanclient.
- [Lean Scribe](https://github.com/oOo0oOo/lean-scribe): VSCode extension for rendering and running context-rich Lean 4 prompts using state-of-the-art LLMs.
- [leanclient](https://github.com/oOo0oOo/leanclient): Python client to interact with the lean4 language server.
- [Lean Tooling](https://github.com/oOo0oOo?tab=repositories&q=lean): Small open-source libraries and tools around Lean 4.
- [pynanite](https://github.com/oOo0oOo/pynanite): Automatic level of details for 3D models.
- [Structure of Lean](https://oli.show/leanstructure/): Visualizing the proof structure in Lean and Mathlib.
- [Winery Map](https://wine.oli.show/): Explore 90,000+ wineries in 95 countries on an interactive map.
- [Proof of Groove](https://oli.show/projects.html#software_proofofgroove2): We move together We groove together
- [Scrapsters](https://devpost.com/software/scrapsters): Sustainable Shopping with Scrapsters
- [The Pixel Democracy](https://pixel.oli.show/): Majority rules, period!
- [CoCrafty](http://cocrafty.com/): Develop startup ideas. Easy. Together.

## Work

- [Math, Inc.](https://math.inc/): Math, Inc. builds AI systems for machine-checked mathematics.
- [Human Edge](https://www.human-edge.ch/): The next step in asset management.
- [Lecturing at FFHS](https://www.ffhs.ch/en/ffhs/people-finder/person/dressler-oliver): I lecture multiple courses at the Fernfachhochschule Schweiz, a university of applied sciences.
- [QuickPool by Ardeo](https://quickpool.ch/): Ardeo is providing cutting edge shift planning solutions.
- [Winnie & Tack](https://abenteuerweg.ch/): Go on a hike and experience an interactive adventure with Winnie and Tack.
- [Digital Literacy](https://www.digital-literacy.live/): Strengthening digital opinion-forming with simulations.
- [PhD in Chemical Engineering](https://oli.show/projects.html#work_publications): I completed my PhD in Chemical Engineering at the ETH Zurich.
- [Publications](https://www.researchgate.net/scientific-contributions/Oliver-J-Dressler-2036925851): A selection of publications written during my PhD: Reinforcement Learning for Dynamic Microfluidic Control; Continuous and low error-rate passive synchronization of pre-formed droplets; Doctoral Thesis

## Games

- [Vector Flow](https://code-box.itch.io/vector-flow): Casually roll balls towards enemies. Pick the correct position to eliminate all targets.
- [Infinitea](https://oli.show/tea/): Do you feel like having a tea? Then this is the game for you.
- [Ready for Takeoff](https://play.google.com/store/apps/details?id=com.slingshotmedia.readyfortakeoff): Manage a small airport with your friends. Help passengers reach their destination.
- [Macro Mate](https://github.com/oOo0oOo/macromate): Multiplayer chess on a map!
- [Cinemoji](https://oli.show/cinemoji/): Think of a movie.
- [Rocket Kite](https://play.google.com/store/apps/details?id=rocketkite.rocketkite): Fly your rocket kite among the planets.
- [Wiki Hike](https://oli.show/wikihike/): Find the connection between two random articles on wikipedia. Keep moving forwards.
- [Cloud Tower](https://play.google.com/store/apps/details?id=org.godotengine.towermaster): Build a tower of clouds and reach new heights in this small game.
- [Bite](https://oli.show/bite/): A short game about a hungry vampire with water color art.
- [Scurry](https://code-box.itch.io/scurry): Keep your rabbits save by whistling. Just chill and whistle...

## Music

- [Soundtracks](https://freesound.org/people/code_box/): A collection of over 50 short soundtracks for games, audio books and animations.
- [The Floating Seconds](https://soundcloud.com/thefloatingseconds/sets/satans-bbq-at-mehrspur): For many years we have developed our unique blend of instrumental progressive rock.

## Optional

- [https://oli.show/thelist/](https://oli.show/thelist/)
- [https://oli.show/teams/Team%20Shuffler.html](https://oli.show/teams/Team%20Shuffler.html)
- [https://oli.show/vector/vectorflow.html](https://oli.show/vector/vectorflow.html)