docker-workflow

A workflow for building, testing, publishing, and checking a Docker image, which packages software and its dependencies into a portable container. This image contains the LEAN command-line tool, infrastructure pipelines, and marimo.

In plain words
What is it for?
Use it to bump the LEAN version, rebuild or smoke-test the image, verify its GHCR download, or debug the Docker workflow.
Why use it?
It provides the documented steps for version updates, local checks, registry verification, and Docker-related CI failures.

Skill for Claude CodeCodex

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add skills/wolfpackofone/q-agent/docker-workflow
Any agent
npx skills add WolfpackOfOne/Q-agent --skill docker-workflow
Clone the repo
git clone --depth 1 https://github.com/WolfpackOfOne/Q-agent

Made for: Claude Code, Codex.

Per session 50 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 2,266 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5 $0.00050 $0.02266
Opus 5 $0.00025 $0.01133
Sonnet 5 $0.00010 $0.00453
Haiku 4.5 $0.00005 $0.00227

Measured 2d ago against content hash 65fc3b3a3707, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

docker-workflow scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

.claude/skills/docker-workflow/SKILL.md · 234 lines

How it starts

The opening of the file, as written. The whole thing — 234 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Docker Workflow Skill

Handle Q-agent's Docker image: build, smoke-test, push, verify. The image bundles LEAN CLI + infrastructure pipelines + marimo in a single linux/amd64 image, published to ghcr.io/wolfpackofone/q-agent on every push to main by .github/workflows/docker.yml.

When to invoke

  • "bump LEAN to X.Y.Z" / "bump lean version"
  • "rebuild the docker image"
  • "smoke-test the image locally"
  • "verify the GHCR pull works"
  • "the docker CI failed"
  • "is the docker image up to date?"

Canonical files

Path Purpose
Dockerfile Multi-stage build, LEAN_VERSION build arg, single /opt/venv, non-root qagent user
.dockerignore Mirrors .gitignore; re-includes MyProjects/ElectionIndustryBeta/ as the shipped demo
.github/workflows/docker.yml Build on PR, push :latest + :sha-X on main, push :vX.Y.Z on tag
docs/docker.md User-facing docs (quickstart, mounted dev, credentials, bumping LEAN)

Task 1: Bump LEAN_VERSION

# Confirm current pin
grep '^ARG LEAN_VERSION=' Dockerfile

# Edit Dockerfile, change the default in the top-level ARG.
# Or build with --build-arg without editing.

# Build with the new version
docker build --build-arg LEAN_VERSION=<X.Y.Z> -t q-agent:dev .

# Run the full smoke suite (see Task 2)

After verifying locally, commit the Dockerfile change on a feature branch and open a PR; main is branch-protected.

Task 2: Build + smoke-test locally

docker build -t q-agent:dev .

Then run every assertion (these mirror .github/workflows/docker.yml's smoke-test stage):

docker run --rm q-agent:dev lean --help | head -5
docker run --rm q-agent:dev python -c \
  "import ccxt, pandas, numpy, yfinance, tenacity, tqdm, dotenv, requests; print('OK')"
docker run --rm q-agent:dev python -c "import marimo; print(marimo.__version__)"
docker run --rm q-agent:dev pytest -m "not integration" \
  --ignore=tests/hygiene -p no:cacheprovider -q
docker run --rm q-agent:dev test -d /workspace/MyProjects/ElectionIndustryBeta
docker run --rm -v "$(pwd):/workspace" q-agent:dev bash -lc 'ls MyProjects | head -5'
docker history q-agent:dev | grep -iE 'lean\.json|\.env|credentials|\.key' \
  && echo "FAIL: secrets in layers" || echo "OK: no secrets in history"
docker images q-agent:dev --format '{{.Size}}'

Read the full file on GitHub · 234 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 2d ago First seen · 234 lines · 50 tokens per session scan A 65fc3b3a3707

Subscribe to this mod's changes

docker-workflow is a skill published in the GitHub repository WolfpackOfOne/Q-agent (5 stars, last pushed 1mo ago), licensed MIT. It adds 50 tokens to every session and 2,266 once invoked, about $0.0003 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.

Related

Other skills, from other repositories

correlation-analysis

Correlation and cointegration analysis — co-movement discovery, deep return-correlation analysis, sector clustering, realized correlation, Engle-Granger / Johansen cointegration, half-life, Kalman dynamic hedge ratio, cross-market linkage analysis, and pair-trading signal generation.

HKUDS/Vibe-Trading · 57 tokens

ashare-pre-st-filter

A 股 ST/ST 风险预测框架 — 基于最新中报/三季报或业绩预告/快报,预测下一财年是否会因营收、利润、净资产、分红不达标而被风险警示,并将新浪监管处罚记录作为独立证据面纳入风险等级。仅适用于 A 股,不预测财务造假。.

HKUDS/Vibe-Trading · 89 tokens

credit-analysis

固收与信用分析:信用债评级、利差分析、违约风险评估、城投债研究、可转债定价与策略。.

HKUDS/Vibe-Trading · 36 tokens

geopolitical-risk

Geopolitical risk analysis: quantify crisis signals, identify precursors, and build event-driven strategies for war, sanctions, and supply disruption scenarios.

HKUDS/Vibe-Trading · 34 tokens

vibe-trading

Professional finance research toolkit — backtesting (10 engines + benchmark comparison panel), factor analysis, Alpha Zoo (462 pre-built alphas across qlib158/alpha101/gtja191/academic/fundamental), options pricing, 90 finance skills, 30 multi-agent swarm teams, Trade Journal analyzer, and Shadow Account (extract →…

HKUDS/Vibe-Trading · 166 tokens

etf-analysis

ETF分析:产品筛选、费率对比、跟踪误差、流动性评估、策略应用与中国市场ETF量化配置框架。.

HKUDS/Vibe-Trading · 39 tokens