Skill Claude CodeCodex
Pair-prove Lean 4 theorems in /home/oyren/workspace/lean — check with lake env lean, edit the same files the user sees live in their browser editor. Use for any Lean 4 proof, tactic, or lake build task.
Skill Claude CodeCodex
Discover which Skills are installed and pick the right one for a task. Use at the START of a task to check whether an existing Skill already covers it, and whenever the user asks "what skills do I have", "what can you do", "is there a skill for X", or "list/find skills". Lists each Skill's name and description so the…
Skill Claude CodeCodex
Manage the container's reverse proxy routes — map URL prefixes to internal ports so multiple services are accessible through the single public URL.
Skill Claude CodeCodex
Bring this Oyren Codespace's runtime, editor and agent CLIs up to date in place with oyren update. Use when the user asks to update the machine, the image, the Codespace, the tools, or the agent CLIs, when a tool prints that it is outdated, or when the Oyren UI says an update is available. Nothing on disk is lost…