# Docs - [What is Devsy?](/docs/what-is-devsy): Devsy runs devcontainer-based developer workspaces as Docker containers, Kubernetes pods, or microVMs on local machines, remote SSH hosts, or public and private clouds. - Getting Started - [Install Devsy](/docs/getting-started/install) - [Update Devsy](/docs/getting-started/update) - [Quick Start](/docs/getting-started/quickstart) - Developing in a Workspace - [Create a Workspace](/docs/developing-in-workspaces/create-a-workspace) - [Connect to a Workspace](/docs/developing-in-workspaces/connect-to-a-workspace) - [devcontainer.json](/docs/developing-in-workspaces/devcontainer-json) - [Prebuild a Workspace](/docs/developing-in-workspaces/prebuild-a-workspace) - [Workspace Snapshots](/docs/developing-in-workspaces/workspace-snapshots) - [Continuous Integration](/docs/developing-in-workspaces/continuous-integration) - [Dotfiles in a Workspace](/docs/developing-in-workspaces/dotfiles-in-a-workspace) - [Reuse local credentials](/docs/developing-in-workspaces/credentials) - [Secrets in a Workspace](/docs/developing-in-workspaces/secrets) - [Auto-Inactivity Timeout](/docs/developing-in-workspaces/inactivity-timeout) - [Stop or Delete a Workspace](/docs/developing-in-workspaces/stop-and-delete-a-workspace) - [Agent Control via MCP](/docs/developing-in-workspaces/mcp-server) - Managing your Machines - [What are Machines?](/docs/managing-machines/what-are-machines) - [Manage Machines](/docs/managing-machines/manage-machines) - Managing your Providers - [What are Providers?](/docs/managing-providers/what-are-providers) - [Manage Providers](/docs/managing-providers/manage-providers) - Architecture - [How it works](/docs/how-it-works/overview) - [How Devsy Deploys Workspaces](/docs/how-it-works/deploying-workspaces) - Tutorials - [Kubernetes Provider with Minikube and VS Code Browser](/docs/tutorials/minikube-vscode-browser) - [Reduce build times with remote caching](/docs/tutorials/reduce-build-times-with-cache) - [Docker provider via WSL](/docs/tutorials/docker-provider-via-wsl) - [Podman Provider Setup](/docs/tutorials/podman-provider-setup) - Developing Providers - [Quickstart Guide](/docs/developing-providers/quickstart) - [Provider Options](/docs/developing-providers/options) - [Provider Binaries](/docs/developing-providers/binaries) - [Provider Agent](/docs/developing-providers/agent) - [Drivers](/docs/developing-providers/driver) - Troubleshooting - [Troubleshooting](/docs/troubleshooting/troubleshooting) - [Linux Troubleshooting](/docs/troubleshooting/linux-troubleshooting)