sdk-examples/kotlin/docker-compose.yml at main · agentruntimecontrolprotocol/sdk-examples · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
# =============================================================================
# kotlin — Smart Contract Security Auditor
# =============================================================================
include:
  - path: ../shared/docker-compose.ollama.yml

services:
  analyzer-pool:
    build:
      context: ./analyzer-pool
    image: arcp-sdk-examples/kotlin-analyzer-pool:dev
    container_name: arcp-kotlin-analyzer-pool
    environment:
      ANALYZER_CACHE_DIR: ${ANALYZER_CACHE_DIR:-/cache/analyzers}
      PORT: "9300"
    volumes:
      - analyzer-cache:/cache/analyzers
    healthcheck:
      test: ["CMD-SHELL", "curl -fsS http://127.0.0.1:9300/health || exit 1"]
      interval: 10s
      timeout: 3s
      retries: 20
      start_period: 30s

  arcp-runtime:
    build:
      context: .
      args:
        ARCP_SDK_VERSION: ${ARCP_SDK_VERSION:-latest}
    image: arcp-sdk-examples/kotlin-runtime:dev
    container_name: arcp-kotlin-runtime
    depends_on:
      ollama:
        condition: service_healthy
      analyzer-pool:
        condition: service_healthy
    environment:
      ROLE: runtime
      OLLAMA_URL: ${OLLAMA_URL:-http://ollama:11434}
      OLLAMA_MODEL: ${OLLAMA_MODEL:-qwen2.5:1.5b-instruct}
      ARCP_RUNTIME_HOST: ${ARCP_RUNTIME_HOST:-0.0.0.0}
      ARCP_RUNTIME_PORT: ${ARCP_RUNTIME_PORT:-8080}
      ARCP_RUNTIME_PATH: ${ARCP_RUNTIME_PATH:-/arcp}
      ARCP_AUTH_TOKEN: ${ARCP_AUTH_TOKEN:-dev-token-change-me}
      ARCP_AGENT_NAME: ${ARCP_AGENT_NAME:-contract.audit}
      ANALYZER_POOL_URL: ${ANALYZER_POOL_URL:-http://analyzer-pool:9300}
      AUDIT_BUDGET_USD: ${AUDIT_BUDGET_USD:-1.50}
      PER_CLASS_BUDGET_USD: ${PER_CLASS_BUDGET_USD:-0.10}
      TRIAGE_PARALLELISM: ${TRIAGE_PARALLELISM:-4}
      DEFAULT_COMPILER: ${DEFAULT_COMPILER:-0.8.20}
      DEFAULT_PARALLELISM: ${DEFAULT_PARALLELISM:-4}
      SEVERITY_FLOOR: ${SEVERITY_FLOOR:-LOW}
      JAVA_OPTS: ${JAVA_OPTS:--Xmx768m}
      LOG_LEVEL: ${LOG_LEVEL:-info}
    volumes:
      - ./samples:/work/contracts:ro
      - audit-reports:/work/reports
    ports:
      - "${ARCP_RUNTIME_PORT:-8080}:${ARCP_RUNTIME_PORT:-8080}"
    healthcheck:
      test: ["CMD-SHELL", "nc -z 127.0.0.1 ${ARCP_RUNTIME_PORT:-8080} || exit 1"]
      interval: 5s
      timeout: 3s
      retries: 30
      start_period: 30s

  arcp-client:
    build:
      context: .
      args:
        ARCP_SDK_VERSION: ${ARCP_SDK_VERSION:-latest}
    image: arcp-sdk-examples/kotlin-client:dev
    container_name: arcp-kotlin-client
    depends_on:
      arcp-runtime:
        condition: service_healthy
    environment:
      ROLE: client
      ARCP_RUNTIME_URL: ws://arcp-runtime:${ARCP_RUNTIME_PORT:-8080}${ARCP_RUNTIME_PATH:-/arcp}
      ARCP_AUTH_TOKEN: ${ARCP_AUTH_TOKEN:-dev-token-change-me}
      ARCP_CLIENT_NAME: ${ARCP_CLIENT_NAME:-kotlin-audit-client}
      ARCP_AGENT_NAME: ${ARCP_AGENT_NAME:-contract.audit}
      DEFAULT_COMPILER: ${DEFAULT_COMPILER:-0.8.20}
      DEFAULT_PARALLELISM: ${DEFAULT_PARALLELISM:-4}
      JAVA_OPTS: ${JAVA_OPTS:--Xmx512m}
      LOG_LEVEL: ${LOG_LEVEL:-info}
    volumes:
      - ./samples:/work/contracts:ro
      - audit-reports:/work/reports

volumes:
  analyzer-cache:
  audit-reports: