Skip to content

dev-e

dev-e is the implementation worker in the engineering rig.

It is responsible for:

  • claiming ready implementation work from conductor-e
  • creating a branch for the assigned issue
  • executing a configured code-edit command against the cloned repo
  • pushing a PR and monitoring CI / review feedback
  • emitting lifecycle events back to conductor-e

Current State

The worker runtime is live in this repo, but the actual code-edit engine is still a configured boundary.

Runtime pieces already implemented:

  • Conductor assignment polling via /api/assignments/next
  • event emission to /api/events
  • GitHub-backed PR creation and PR status checks
  • app-owned deploy manifests
  • GHCR image publish workflow

The code execution boundary currently requires CodeExec__Command to be configured explicitly. If it is not configured, dev-e will report code_executor_not_configured rather than pretending work completed.

Continuation behavior is executor-owned:

  • the initial execution uses CodeExec__Command
  • continuation defaults to the same command with --continue appended
  • if the executor emits a SESSION_ID: marker or writes a session id to .dev-e-session-id, dev-e preserves that handle and passes it back through DEV_E_SESSION_ID on future continues

Deploy

Kubernetes manifests live under deploy/.

Expected runtime secret:

  • dev-e-secrets
  • github-token
  • discord-bot-token — bot token for the Dev-E Discord application (not shared with other bots)
  • discord-channel-id — channel ID for #dev-e (Dev-E's dedicated channel)
  • codeexec-enabled
  • codeexec-command

The deployment also expects a GHCR image pull secret named ghcr-pull-secret.

Discord bot setup

  1. Create a Discord application named Dev-E at https://discord.com/developers/applications
  2. Add the bot to the Dashecorp server with Send Messages, Read Message History, and View Channels permissions
  3. Create a #dev-e channel in the server
  4. Store the bot token as discord-bot-token in dev-e-secrets
  5. Store the #dev-e channel ID as discord-channel-id in dev-e-secrets

On startup, Dev-E logs the Discord bot's username — verify it shows Dev-E, not ATL-E Agent.