Agent Skill
2/7/2026

devnet

Manage the ICN devnet (3-node Docker Compose cluster). Operations - up, down, logs, status, test, restart.

I
intercooperative
5GitHub Stars
1Views
npx skills add InterCooperative-Network/icn

SKILL.md

Namedevnet
DescriptionManage the ICN devnet (3-node Docker Compose cluster). Operations - up, down, logs, status, test, restart.

name: devnet description: Manage the ICN devnet (3-node Docker Compose cluster). Operations - up, down, logs, status, test, restart. argument-hint: "<up|down|logs|status|test|restart>" user-invocable: true allowed-tools: "Bash, Read" truth_contract: canonical_sources: - ops/state/config/repo-map.json # repo root, workspace root live_load_required: - "git rev-parse --show-toplevel" # resolve REPO_ROOT before any cd examples_only: []

Manage the ICN devnet environment.

Setup

REPO_ROOT="$(git rev-parse --show-toplevel)"

Use ${REPO_ROOT} for all paths below.

Operations

Based on $ARGUMENTS:

up (default if no argument)

cd "${REPO_ROOT}/deploy/devnet" && make up

Wait for nodes to be healthy, then run make status.

down

cd "${REPO_ROOT}/deploy/devnet" && make down

logs

cd "${REPO_ROOT}/deploy/devnet" && make logs

If following specific node: docker compose logs -f node-a

status

cd "${REPO_ROOT}/deploy/devnet" && make status

Show container status and health.

test

cd "${REPO_ROOT}/icn" && cargo test -p icn-core --test devnet_smoke -- --nocapture

Run devnet smoke tests (reachability, unique DIDs, gossip connectivity).

restart

cd "${REPO_ROOT}/deploy/devnet" && make down && make up

Node Reference

NodeREST PortP2P PortMetrics Port
node-a808090009090
node-b808190019091
node-c808290029092

Troubleshooting

If nodes fail to start:

  1. Check Docker is running: docker ps
  2. Check for port conflicts: ss -tlnp | grep -E '808[0-2]|900[0-2]|909[0-2]'
  3. Rebuild images: cd "${REPO_ROOT}/deploy/devnet" && docker compose build --no-cache
  4. Check logs: docker compose logs --tail=50
Skills Info
Original Name:devnetAuthor:intercooperative