- cortex.spec: gateway binary, cortex.service systemd unit, cortex.toml + models.toml config files - neuron.spec: neuron binary, neuron.service systemd unit, neuron.toml config file - Parallel CI: srpm-cortex and srpm-neuron jobs build SRPMs concurrently, then publish to separate COPR repos (helexa/cortex and helexa/neuron) - Shared cortex user/group across both packages - Example configs: cortex.example.toml, neuron.example.toml, models.example.toml Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
27 KiB
CLAUDE.md — cortex
Project overview
cortex is a Rust reverse-proxy that sits in front of multiple mistral.rs inference nodes and presents a unified OpenAI + Anthropic compatible API surface. It handles model routing, lifecycle management (load/unload/evict), request translation, and metrics collection.
Repository layout
cortex/
├── Cargo.toml # workspace root
├── cortex.toml # example gateway config
├── README.md
├── CLAUDE.md # ← you are here
├── crates/
│ ├── cortex-core/ # shared types, config, envelopes
│ │ └── src/
│ │ ├── lib.rs
│ │ ├── config.rs # figment-based config structs
│ │ ├── node.rs # NodeState, ModelStatus
│ │ ├── openai.rs # OpenAI request/response types
│ │ ├── anthropic.rs # Anthropic request/response types
│ │ ├── translate.rs # OpenAI <-> Anthropic translation
│ │ └── metrics.rs # RequestMetrics, histogram helpers
│ ├── cortex-gateway/ # the HTTP proxy server
│ │ └── src/
│ │ ├── lib.rs
│ │ ├── state.rs # CortexState: Arc<RwLock<...>>
│ │ ├── router.rs # model -> node routing logic
│ │ ├── proxy.rs # streaming HTTP proxy to backends
│ │ ├── evictor.rs # LRU/priority eviction logic
│ │ ├── poller.rs # background task polling node status
│ │ ├── handlers.rs # axum handlers (chat, completions, models, etc.)
│ │ └── metrics.rs # prometheus exporter endpoint
│ ├── cortex-agent/ # per-node sidecar (future: defrag, restart)
│ │ └── src/
│ │ ├── lib.rs
│ │ └── agent.rs # local node management
│ └── cortex-cli/ # CLI entrypoint
│ └── src/
│ └── main.rs
└── tests/ # integration tests (future)
Key design decisions
mistral.rs HTTP API for model lifecycle
mistral.rs (v0.8+) supports dynamic model loading/unloading at runtime:
POST /v1/models/unload {"model_id": "..."}— frees VRAM, preserves configPOST /v1/models/reload {"model_id": "..."}— explicitly reloadPOST /v1/models/status {"model_id": "..."}— loaded/unloaded/reloadingGET /v1/models— lists all models with status field- Lazy loading: requests to unloaded models trigger automatic reload
The gateway does NOT manage systemd units for model swaps. It calls these HTTP endpoints directly. The only systemd interaction is for full-process restarts after VRAM fragmentation accumulates (defrag_after_cycles).
Streaming proxy
Chat completions are proxied as SSE streams. The gateway must:
- Parse the inbound request to extract the model name
- Route to the correct backend node
- Stream the response back, capturing token timing for metrics
- NOT buffer the full response — true streaming passthrough
Anthropic translation
When a request arrives at /v1/messages (Anthropic format), the gateway
translates it to OpenAI format before proxying to mistral.rs, then
translates the response back. This is stateless envelope transformation.
Eviction
The evictor runs as a background task. Before loading a model on a node where VRAM is tight:
- Check if the model is already loaded elsewhere → route there instead
- Find the LRU model on the target node (excluding pinned models)
- Call
/v1/models/unloadon that model - The incoming request's lazy-load triggers the new model load
Metrics
Per-request: model, node, prompt_tokens, completion_tokens, total_tokens, tok_per_sec, time_to_first_token_ms, total_latency_ms. Exposed as Prometheus histograms/counters on a separate port.
Tech stack
- Rust 2024 edition — workspace with 4 crates
- Axum 0.8 — HTTP framework (same as mistral.rs itself)
- reqwest — HTTP client for proxying to backends
- figment — config loading (TOML + env vars)
- tokio — async runtime
- metrics + metrics-exporter-prometheus — observability
- tracing — structured logging
Build commands
cargo build --release # build all crates
cargo run -p cortex-cli -- serve # run the gateway
cargo test # run all tests
cargo clippy --workspace # lint
CI
Gitea Actions runs on every push to any branch. All three checks must pass before merging:
cargo fmt --check --all # formatting
cargo clippy --workspace -- -D warnings # lint (warnings are errors)
cargo test --workspace # tests
Run these locally before pushing. cargo fmt --all fixes formatting
automatically. Clippy warnings must be resolved, not suppressed with
#[allow(...)] unless there is a clear rationale.
Environment
- Targets Fedora 43 (systemd, SELinux enforcing)
- Nodes communicate over a private network (e.g. WireGuard mesh)
- One or more GPU nodes running mistral.rs on port 8080
- Optionally a metrics-only node (no GPU) for Prometheus/Grafana
- Each node runs
mistralrs serveon port 8080 - Gateway listens on port 8000 (API) and 9100 (metrics)
- TLS terminated at gateway or via nginx; internal traffic is plaintext over WireGuard
Conventions
- Error handling:
anyhowfor binaries,thiserrorfor library crates - No
unwrap()in library code;expect()only with clear rationale - All public types derive
Debug, Clone, Serialize, Deserializewhere sensible - Config structs use
figmentwith TOML as primary source, env vars as override - Prefer
Arc<RwLock<...>>for shared fleet state; minimize lock duration - SSE streaming uses
tokio_stream+eventsource-streamfor parsing - Log at
infofor request routing,debugfor proxy details,warnfor eviction and node health,errorfor proxy failures
mistral.rs API gotchas
These are sharp edges Claude Code will hit when implementing the proxy.
Read before touching proxy.rs or handlers.rs.
Model name validation
mistral.rs validates that the model field in every request matches the
model that was actually loaded. If the names don't match, the request is
rejected outright. The special model name "default" bypasses this
validation entirely.
Implication for cortex: The gateway must ensure the model field in
the proxied request body matches what mistral.rs expects. Two strategies:
- Passthrough — the client uses the exact HuggingFace model ID
(e.g.
Qwen/Qwen3-Coder-30B-A3B-Instruct) and cortex routes based on that. This is the simplest approach and should be the default. - Rewrite to
"default"— if cortex introduces its own model aliases, it must rewrite themodelfield to"default"before proxying. This is a future feature, not phase 1.
Lazy loading latency
When a request hits an unloaded model, mistral.rs automatically reloads it before processing. This can take 10-60+ seconds for large models. The gateway must:
- Set a generous HTTP client timeout (already 300s in the scaffold).
- Mark the request as
cold_start: truein metrics. - Not retry or time out prematurely — the upstream is busy loading, not dead.
SSE stream format
mistral.rs streams use standard OpenAI SSE format:
data: {"id":"...","choices":[{"delta":{"content":"token"},...}]}\n\n
data: [DONE]\n\n
The proxy must forward these chunks verbatim. Do not attempt to parse
or re-serialize each chunk — that adds latency and risks breaking the
stream. Parse only for metrics extraction (token counts from the final
usage object, timing from chunk arrival).
Multi-model mode
mistralrs serve can load multiple models when started with a selector
config or multiple --text-model / --vision-model flags. The
/v1/models response lists all of them with a status field. When
sending requests, the model field must match one of the listed model
IDs — "default" only works if you don't care which model handles it.
Unload preserves config
POST /v1/models/unload frees VRAM but keeps the model's config in
memory. A subsequent request to that model (or explicit reload) will
reload from disk/HF cache — not re-download. This is fast relative to
initial download but still involves loading weights into VRAM.
Implementation plan
Each phase is a branch → PR. CI must pass (fmt, clippy, test) before merge. Phases are sequential — each builds on the previous.
Phase 1: Compile and proxy a basic request ✅
Completed. 6 integration tests in cortex-gateway/tests/proxy_basic.rs:
chat completion proxy, health endpoint, list models, model not found,
no healthy nodes, missing model field. Test helpers in tests/common/mod.rs
provide spawn_mock_backend() and spawn_gateway() using axum as the
mock mistral.rs backend.
Phase 2: Streaming SSE passthrough ✅
Completed. The existing Body::from_stream(bytes_stream()) proxy works
for SSE out of the box. 2 integration tests in cortex-gateway/tests/streaming.rs:
test_streaming_sse_passthrough— 5 chunks with 50ms delays, verifies incremental delivery (time spread between first and last chunk)test_streaming_done_terminator— verifiesdata: [DONE]is forwarded
Phase 3: Poller + live /v1/models ✅
Completed. Extracted poll_once() from poll_loop() for testability.
4 tests in cortex-gateway/tests/poller.rs:
test_poller_discovers_models— 2 models (loaded + unloaded) discovered with correct statustest_poller_updates_gateway_models_endpoint—/v1/modelsreflects polled state with node attributiontest_poller_marks_unreachable_node_unhealthy— unreachable node flipped to unhealthytest_poller_removes_stale_models— model removed from upstream is pruned from state
Phase 4: Eviction ✅
Completed. Added last_accessed tracking in handlers (touch_model
called after routing). 5 tests in cortex-gateway/tests/eviction.rs:
test_evict_lru_model— older model evicted, unload call verified on mocktest_eviction_skips_pinned_models— pinned model protected, newer model evicted insteadtest_eviction_nothing_to_evict— all models pinned, returns Nonetest_eviction_increments_lifecycle_cycles— counter incremented after evictiontest_last_accessed_updated_on_request—last_accessedset after proxied request
Router-triggered eviction (automatic eviction on VRAM pressure during
request routing) deferred — requires per-model VRAM tracking which is
not yet populated. The evict_lru_on_node function is callable and
tested for when that integration is added.
Phase 5: Anthropic translation ✅
Completed. Non-streaming Anthropic round-trip implemented: handler
buffers upstream OpenAI response, translates via openai_to_anthropic,
returns Anthropic-format JSON. 5 tests in cortex-gateway/tests/anthropic.rs:
test_anthropic_to_openai_round_trip— full request/response translation with stop_reason mapping ("stop" → "end_turn") and usage field namestest_anthropic_with_system_prompt— system field translated to system messagetest_anthropic_with_content_blocks— array content blocks handledtest_anthropic_model_not_found— 404 for unknown modeltest_anthropic_invalid_request— 400 for malformed request
Streaming Anthropic SSE translation (OpenAI SSE → Anthropic SSE event types) deferred as a follow-up.
Phase 6: Metrics instrumentation ✅
Completed. Added proxy_with_metrics helper in handlers that wraps
every proxy call with timing and counters. All three handler paths
(chat completions, completions, Anthropic messages) instrumented.
Metrics emitted per request (with model and node labels):
cortex_requests_total— incremented on every proxy attemptcortex_request_duration_seconds— histogram of successful request latencycortex_request_errors_total— incremented on proxy failurescortex_cold_starts_total— incremented when routing to an unloaded model
Added install_test_recorder() for testing without the HTTP listener.
1 test in cortex-gateway/tests/metrics.rs verifies counters and
histograms appear after a proxied request.
Token-level metrics (tok/s, TTFT) deferred — requires parsing the response body or final SSE chunk, which is Phase 6b work.
2026-04-15 addendum
Phases 1–6 complete. The gateway proxies requests (streaming and
non-streaming), routes by model name to the correct node, polls node
/v1/models for live state, evicts LRU models with pinning, translates
Anthropic ↔ OpenAI envelopes, and emits Prometheus metrics. CI is green.
Phase 7 onward introduces neuron — the per-node daemon that replaces
the placeholder cortex-agent crate — along with hardware discovery,
a harness abstraction (so cortex is not permanently wedded to mistral.rs),
and a model catalogue for placement decisions.
Architecture: cortex + neuron
cortex is the control plane. It exposes the unified API, routes requests, manages model lifecycle across the fleet, and collects metrics.
neuron is the node plane. One instance runs on every GPU host. It:
- Discovers local hardware (GPU count, types, VRAM, CUDA compute capability, driver version) and reports it to cortex.
- Manages harnesses — inference engines like mistral.rs, llama.cpp, or ComfyUI. Each harness is a trait implementation. neuron starts, stops, health-checks, and proxies to whichever harness is serving a given model.
- Manages model lifecycle — load, unload, status — abstracting the differences between harnesses (mistral.rs has HTTP lifecycle endpoints; llama.cpp may need process management).
- Reports runtime state — per-device VRAM usage, GPU utilisation, temperature, loaded models with actual VRAM consumption.
cortex never shells out to nvidia-smi, never touches systemd units,
and never talks directly to a harness. It talks only to neurons.
┌─────────────────────┐
│ cortex │
│ (cortex-gateway) │
│ Router · Evictor │
│ Metrics · Translate│
└──┬──────┬────────┬──┘
│ │ │
┌──────────▼┐ ┌──▼─────┐ ┌▼──────────┐
│ neuron │ │ neuron │ │ neuron │
│ beast │ │ benjy │ │ quadbrat │
│ │ │ │ │ │
│ harness: │ │harness:│ │ harness: │
│ mistralrs │ │mistral │ │ mistralrs │
│ (+ comfy) │ │rs │ │ │
└───────────┘ └────────┘ └───────────┘
The Harness trait
Defined in cortex-core so both cortex and neuron share the type
definitions. neuron provides the runtime implementations.
/// What an inference harness must do, from neuron's perspective.
#[async_trait]
pub trait Harness: Send + Sync {
/// Human-readable name (e.g. "mistralrs", "llamacpp", "comfyui").
fn name(&self) -> &str;
/// Start the harness process if it is not already running.
async fn start(&self, config: &HarnessConfig) -> Result<()>;
/// Stop the harness process gracefully.
async fn stop(&self) -> Result<()>;
/// Health check. Returns the harness process status.
async fn health(&self) -> HarnessHealth;
/// List models the harness knows about (loaded + unloaded).
async fn list_models(&self) -> Result<Vec<ModelInfo>>;
/// Load a model with the given spec (quant, TP, device assignment).
async fn load_model(&self, spec: &ModelSpec) -> Result<()>;
/// Unload a model, freeing device memory.
async fn unload_model(&self, model_id: &str) -> Result<()>;
/// Return the URL where inference requests for this model should
/// be sent. None if the model is not loaded.
async fn inference_endpoint(&self, model_id: &str) -> Option<String>;
}
The mistral.rs implementation wraps the HTTP API:
list_models→GET /v1/modelsload_model→POST /v1/models/reloadunload_model→POST /v1/models/unloadinference_endpoint→ returns the base URL (the model name routes internally within mistral.rs)start/stop→ manage themistralrs.servicesystemd unit
A future llama.cpp implementation would manage per-model llama-server
processes (one process per loaded model, each on its own port).
neuron API
neuron exposes an HTTP API on port 9090 that cortex polls and calls.
GET /discovery
→ {
hostname, os, kernel,
cuda_version, driver_version,
devices: [{ index, name, vram_total_mb, compute_capability }],
harnesses: ["mistralrs", ...]
}
GET /health
→ {
uptime_secs,
devices: [{ index, vram_used_mb, vram_free_mb, utilization_pct, temp_c }]
}
GET /models
→ [{ id, harness, status, devices: [int], vram_used_mb }]
POST /models/load
← { model_id, harness, quant, tensor_parallel, devices: [int] }
→ { status: "loaded" | "loading" }
POST /models/unload
← { model_id }
→ { status: "unloaded" }
GET /models/{model_id}/endpoint
→ { url: "http://localhost:8080" }
cortex never constructs a harness-specific URL. It asks neuron for the inference endpoint and proxies there.
Discovery replaces static device config
cortex.toml no longer contains device types, VRAM sizes, or CUDA
architectures. That information comes from neuron's /discovery
endpoint. cortex.toml shrinks to:
[gateway]
listen = "0.0.0.0:8000"
metrics_listen = "0.0.0.0:9100"
[eviction]
strategy = "lru"
defrag_after_cycles = 50
[[neurons]]
name = "beast"
endpoint = "http://beast.hanzalova.internal:9090"
[[neurons]]
name = "benjy"
endpoint = "http://benjy.kosherinata.internal:9090"
[[neurons]]
name = "quadbrat"
endpoint = "http://quadbrat.hanzalova.internal:9090"
On startup and periodically, cortex calls GET /discovery and
GET /health on each neuron to build its topology map. The router
uses this topology — not config — to make placement decisions.
Model catalogue
Model serving profiles live in a separate file (models.toml) because
they describe how to serve a model, not where. cortex matches these
profiles against the discovered topology to determine valid placements.
[[models]]
id = "Qwen/Qwen3-Coder-30B-A3B-Instruct"
harness = "mistralrs"
quant = "Q4_K_M"
vram_mb = 19000
min_devices = 2
min_device_vram_mb = 10000
pinned_on = ["beast"] # optional: never evict from these neurons
[[models]]
id = "Qwen/Qwen3-VL-8B"
harness = "mistralrs"
quant = "Q8_0"
vram_mb = 10000
min_devices = 1
[[models]]
id = "Qwen/Qwen2.5-Coder-14B-Instruct"
harness = "mistralrs"
quant = "Q6_K"
vram_mb = 12000
min_devices = 1
pinned_on = ["benjy"]
The router consults the catalogue to answer: "model X needs 2 devices
with ≥10GB each; beast has 2× RTX 5090 at 32GB each; that's a valid
placement." This replaces the current per-node pinned list in config
and the hardcoded vram_mb per node.
Revised repository layout
cortex/
├── Cargo.toml
├── cortex.toml # gateway config (neurons only)
├── models.toml # model catalogue
├── README.md
├── CLAUDE.md
├── crates/
│ ├── cortex-core/ # shared types
│ │ └── src/
│ │ ├── lib.rs
│ │ ├── config.rs # GatewayConfig, NeuronEndpoint
│ │ ├── catalogue.rs # ModelProfile, placement matching
│ │ ├── discovery.rs # DeviceInfo, DiscoveryResponse
│ │ ├── harness.rs # Harness trait, HarnessConfig, HarnessHealth
│ │ ├── node.rs # NodeState, ModelEntry, ModelStatus
│ │ ├── openai.rs # OpenAI envelope types
│ │ ├── anthropic.rs # Anthropic envelope types
│ │ ├── translate.rs # OpenAI <-> Anthropic translation
│ │ └── metrics.rs # RequestMetrics
│ ├── cortex-gateway/ # control plane (existing, modified)
│ │ └── src/
│ │ ├── lib.rs
│ │ ├── state.rs # CortexState (updated: discovery topology)
│ │ ├── router.rs # updated: catalogue + discovery placement
│ │ ├── proxy.rs # streaming proxy (unchanged)
│ │ ├── evictor.rs # updated: talks to neuron, not mistralrs
│ │ ├── poller.rs # updated: polls neuron, not mistralrs
│ │ ├── handlers.rs # axum handlers (unchanged API surface)
│ │ └── metrics.rs # prometheus exporter (unchanged)
│ ├── neuron/ # node plane (replaces cortex-agent)
│ │ └── src/
│ │ ├── main.rs # binary entrypoint, axum server on :9090
│ │ ├── discovery.rs # nvidia-smi, device enumeration
│ │ ├── health.rs # runtime GPU polling
│ │ ├── api.rs # HTTP handlers for /discovery, /models, etc.
│ │ ├── harness/
│ │ │ ├── mod.rs # Harness trait re-export, registry
│ │ │ ├── mistralrs.rs # mistral.rs HTTP API wrapper
│ │ │ └── llamacpp.rs # stub for future llama.cpp support
│ │ └── models.rs # local model lifecycle orchestration
│ └── cortex-cli/ # CLI entrypoint (unchanged)
│ └── src/
│ └── main.rs
└── tests/
The cortex-agent crate is deleted. Its replacement is neuron/.
Implementation plan (phases 7+)
Phases 1–6 are merged and passing CI. Each subsequent phase is a branch → PR. CI (fmt, clippy, test) must pass before merge.
Phase 7: neuron scaffold and discovery ✅
Completed. Deleted cortex-agent, created crates/neuron/ (binary:
neuron). Added shared types to cortex-core: discovery.rs
(DeviceInfo, DiscoveryResponse, DeviceHealth, HealthResponse) and
harness.rs (Harness async trait, HarnessConfig, ModelSpec, ModelInfo).
neuron discovers GPUs via nvidia-smi, caches health readings, and
serves GET /discovery and GET /health. Pure parsing functions
separated from command execution for testability. 9 unit tests for
nvidia-smi CSV parsing, 3 integration tests for the HTTP endpoints.
Phase 8: neuron harness — mistral.rs implementation ✅
Completed. Full Harness trait implementation for mistral.rs in
neuron/src/harness/mistralrs.rs: list_models, load_model, unload_model,
inference_endpoint, health, start/stop (systemd). HarnessRegistry in
harness/mod.rs maps harness name → Box<dyn Harness>, built from
neuron.toml config. Four new neuron API endpoints: GET /models,
POST /models/load, POST /models/unload, GET /models/:id/endpoint.
Config via neuron.toml (figment + env override). Integration test
covers full model lifecycle through neuron → mock mistral.rs backend.
Phase 9: cortex talks to neurons ✅
Completed. Full refactor of cortex-gateway to talk to neurons:
- Config:
NodeConfig { endpoint, vram_mb, pinned }replaced withNeuronEndpoint { name, endpoint }. Hardware info comes from neuron discovery, pinning frommodels.tomlcatalogue. - catalogue.rs:
ModelProfilewithpinned_on,ModelCataloguewithis_pinned()for eviction decisions. - Poller: polls neuron's
GET /models(ModelInfo format) instead of mistralrs/v1/models. - Router: asks neuron
GET /models/{id}/endpointfor the inference URL before proxying. Decouples cortex from knowing harness ports. - Evictor: calls
POST {neuron}/models/unloadinstead of mistralrs directly. Uses catalogue for pinning. - Tests: all 22 gateway tests updated to mock neuron API instead of raw mistralrs. 36 total tests passing.
Topology-aware placement (min_devices, min_device_vram_mb) deferred — the router currently routes based on polled model status. Catalogue placement matching can be added incrementally.
Phase 10: RPM packaging ✅
Completed. Both packages have RPM specs, systemd units, and example configs. CI builds parallel SRPMs on tag push and publishes to separate COPR repos.
cortex.spec→helexa/cortexCOPR: binary, systemd unit, config filesneuron.spec→helexa/neuronCOPR: binary, systemd unit, configdata/cortex.service,data/neuron.service— systemd unitscortex.example.toml,neuron.example.toml,models.example.toml- CI: parallel
srpm-cortex+srpm-neuronjobs, then parallel COPR publish
Install:
dnf copr enable helexa/cortex && dnf install cortex # gateway host
dnf copr enable helexa/neuron && dnf install neuron # GPU nodes
Phase 11: llama.cpp harness stub
Goal: Prove the harness abstraction works with a second engine.
Steps:
crates/neuron/src/harness/llamacpp.rs— implement theHarnesstrait for llama.cpp'sllama-server.start()— launchllama-serverwith the correct model path,--port,--n-gpu-layers,--tensor-splitargs. Track the child process.stop()— send SIGTERM to the child process.list_models()— llama-server serves one model per process, so return a single-element list.load_model()— start a new llama-server process for this model.unload_model()— stop the process.inference_endpoint()— returnhttp://localhost:{assigned_port}.
- Port allocation: neuron assigns ports from a range (e.g. 8100-8199) to llama-server instances.
- Register in
HarnessRegistrywhen configured:[[harnesses]] name = "llamacpp" binary = "/usr/local/bin/llama-server" port_range = [8100, 8199] - Tests: mock llama-server (simple HTTP server returning canned responses), test load/unload/endpoint lifecycle.
Done when: A model with harness = "llamacpp" in models.toml can
be loaded and served through cortex. Tests pass with mock llama-server.
Phase 12 (lower priority): mistral.rs COPR packaging
Goal: Fedora RPMs for mistral.rs built against specific CUDA versions.
Steps:
mistralrs-cuda.spec— RPM spec that clones a pinned mistral.rs git tag, builds with--features cuda, links against the system CUDA toolkit. Producesmistralrs-cuda13-server(CUDA 13.x / sm_120) andmistralrs-cuda12-server(CUDA 12.x / sm_89). Install binary to/usr/local/bin/mistralrs.- COPR build config: enable the NVIDIA CUDA repo as a build dependency.
Pin the CUDA toolkit version in
BuildRequires. - Gitea Actions or manual workflow: bump the mistral.rs tag in the spec, trigger COPR rebuild.
- neuron's mistralrs harness config references which binary/package provides the mistral.rs binary. neuron could warn at startup if the installed mistral.rs CUDA version doesn't match the discovered driver.
Done when: dnf install mistralrs-cuda13-server on beast provides a
working mistralrs binary built for Blackwell GPUs. dnf install mistralrs-cuda12-server on benjy provides one built for Ada GPUs.
This is a separate repo/spec — not part of the cortex workspace — but tightly coupled operationally. Track it as a sibling project.