This repository contains a lightweight development container setup for working with coding agents.
- Docker Engine with Docker Compose plugin
- Visual Studio Code
- VS Code extension: Dev Containers (
ms-vscode-remote.remote-containers)
Build parameters are defined in docker/micro_devcon.Dockerfile.
cd /path/to/micro_devcon
docker build -f docker/micro_devcon.Dockerfile -t micro_devcon:1 .- The image is built on the host.
- VS Code opens the project with
Dev Containers: Reopen in Container. - The repository is bind-mounted as the container workspace at
/workspace. - The container runs as a non-root user (
vscode) with UID/GID synchronization. - Host SSH agent is not forwarded into the container.
- Git authentication and
git pushare performed on the host only.
- Open this folder in VS Code.
- Build the image on the host if needed:
docker build -f docker/micro_devcon.Dockerfile -t micro_devcon:1 . - Run
Dev Containers: Reopen in Container. - Develop and run tooling inside the container workspace.
- Perform Git authentication and push from the host terminal or host VS Code instance.
This repository includes .vscode/extensions.json with recommended extensions.
When VS Code opens the workspace, it prompts to install recommended extensions.
Agent chat memory is temporary. Persist working context in files:
AGENTS.md- baseline rules and workflowsREADME.md- architecture and operational guideTASKS.md- prioritized backlog and task statusPROJECT_STATE.md- current state, decisions, and next steps.env.example- required environment variables template
Use these steps to preserve intermediate progress when container rebuild/reset is possible:
- Before rebuild or restart, update
PROJECT_STATE.mdwith current status, decisions, blockers, and the exact next command. - Update
TASKS.mdto mark in-progress and done items, so both a human and an agent can resume without chat history. - If runtime behavior changed, update
README.mdin the same session. - Rebuild/reopen the devcontainer.
- Start the next session by reading
AGENTS.md,README.md,PROJECT_STATE.md, andTASKS.mdin that order.
- Start session: read
AGENTS.md,README.md,PROJECT_STATE.md,TASKS.md. - Build/rebuild the container image on the host when configuration changes.
- Implement scoped changes in the devcontainer workspace.
- Run Git authentication operations (
git push, signing, key usage) on host only. - Update
PROJECT_STATE.mdandTASKS.mdbefore finishing. - Commit only relevant files with an English commit message.