Use Cases

What people run on Oyren.

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

Who it is for

Cloud Agents

The open-source agent on a cloud Linux machine of your own, on Oyren credits with any model in the catalog or your own OpenRouter key.

Power App

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

Cloud Agents

Claude Code on a cloud Linux machine of your own. Set an Anthropic API key or sign in there yourself.

Cloud Agents

Codex CLI on a cloud Linux machine of your own. Set an OpenAI API key or sign in there yourself.

Cloud Agents

Cursor CLI on a cloud Linux machine of your own. It uses your own Cursor API key.

Cloud Agents

Qwen Code on a cloud Linux machine of your own, on Oyren credits or your own API key.

Cloud Agents

Antigravity in the terminal of a cloud Linux machine of your own. Sign in with your Google account there yourself.

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