leankg 0.18.0

Lightweight Knowledge Graph for AI-Assisted Development
Documentation 
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

# LeanKG MCP HTTP server (RocksDB backend)
# Multi-stage build for a slim runtime image suitable for Docker Hub.
#
# Published Hub image (linux/arm64): freepeak/leankg:latest
#
# One-line run (replace HOST_DIR with your codebase path):
#   docker run -d --name leankg -p 9699:9699 \
#     -v HOST_DIR:/workspace \
#     -v leankg-rocksdb:/data/leankg-rocksdb \
#     freepeak/leankg:latest

FROM rust:1-bookworm AS builder
WORKDIR /app

RUN sed -i 's|http://deb.debian.org|https://deb.debian.org|g' /etc/apt/sources.list.d/debian.sources \
    && apt-get update \
    && apt-get install -y clang libclang-dev \
    && rm -rf /var/lib/apt/lists/*

# Optional local patches (no-op if empty). Keep for offline/build reproducibility.
COPY vendor/ ./vendor/
COPY Cargo.toml Cargo.lock ./
COPY src ./src
COPY ontology/ ./ontology/

# Build with the `embeddings` feature so the resulting binary ships
# `leankg embed`, `leankg semantic-context`, `leankg smoke-test`, and the
# HNSW-backed semantic_search MCP tool out of the box (US-CBM-C1 / FR-C01 /
# FR-HNSW-C). See docs/prd.md ยง5.12.
RUN cargo build --release --features embeddings \
    && strip target/release/leankg \
    && cp target/release/leankg /usr/local/bin/leankg

FROM debian:bookworm-slim

# Seed CA bundle from the builder so apt can use https mirrors (slim has none
# yet; plain http to deb.debian.org often fails behind corporate/CDN paths).
COPY --from=builder /etc/ssl/certs/ca-certificates.crt /etc/ssl/certs/ca-certificates.crt

RUN sed -i 's|http://deb.debian.org|https://deb.debian.org|g' /etc/apt/sources.list.d/debian.sources \
    && apt-get update \
    && apt-get install -y --no-install-recommends \
        ca-certificates \
        curl \
        git \
        libstdc++6 \
    && rm -rf /var/lib/apt/lists/*

COPY --from=builder /usr/local/bin/leankg /usr/local/bin/leankg
COPY entrypoint.sh /usr/local/bin/entrypoint.sh
RUN chmod +x /usr/local/bin/entrypoint.sh \
    && mkdir -p /data/leankg-rocksdb /workspace

# Defaults so `docker run -v HOST_DIR:/workspace ... freepeak/leankg` works
# without an env file. Compose can still override these.
ENV LEANKG_DB_ENGINE=rocksdb \
    LEANKG_ROCKSDB_ROOT=/data/leankg-rocksdb \
    LEANKG_MCP_PROJECT=/workspace \
    LEANKG_AUTO_INDEX=1 \
    MCP_HTTP_PORT=9699 \
    LEANKG_MMAP_SIZE=67108864 \
    LEANKG_WATCHER_DEBOUNCE_MS=2000 \
    LEANKG_WATCHER_BURST_LIMIT=256 \
    RUST_LOG=leankg=info

VOLUME ["/data/leankg-rocksdb"]
EXPOSE 9699
WORKDIR /workspace
HEALTHCHECK --interval=30s --timeout=5s --start-period=60s --retries=3 \
    CMD curl -fsS "http://127.0.0.1:${MCP_HTTP_PORT}/health" || exit 1

ENTRYPOINT ["/usr/local/bin/entrypoint.sh"]