Use Cases

What people run on Oyren.

Concrete workflows, not just features — each one a real setup you can copy.

Cloud Agents

Run OpenCode in the Cloud

Kimi K3, DeepSeek V4 Pro, and every new model that lands — no local GPU required.

Read more

Power App

Lean 4 + Mathlib in the Cloud

A real Lean 4 instance in browser VS Code — mathlib preinstalled, the proof state beside the code.

Read more

More use cases on the way

We add a new one every time a model or workflow is worth a closer look.