Dev Setup

An Opinionated Coding Agent Setup

• Runtimes - NodeJS, JDK, Miniconda
• PRD source - Notion via MCP
• Issue Tracker - GitHub Issues
• Version Control - Github via gh CLI + stack PR extension
• UI testing using agent-browser

Agent Stack

• Pi Agent (base)
• Opinionated list of pi extensions
• Deepseek V4.1 flash model

Build

docker build -t compscikaran/<image_name>:latest .

Create and run a container

docker run -d --name linux-lab -v "C:/Users/karan/Projects/data:/home/student" compscikaran/linuxlab:latest -c "tail -f /dev/null"


docker run -d --name coding-agent -e DEEPSEEK_API_KEY=<key> -e GH_TOKEN=<token> -v "C:/Users/karan/Projects:/workspace" compscikaran/coding-agent:latest -c "tail -f /dev/null"

Attach to the running container when you want an interactive shell:

docker exec -it linux-lab bash