Airpack
Build immutable delivery bundles, execute resumable runbooks, and preserve install and upgrade evidence.
Private AI delivery assurance
Build, move, harden, and prove AI systems for customer-owned infrastructure. From model adaptation to air-gapped delivery, every acceptance decision should have artifacts and evidence behind it.
Built from paid private-AI delivery work, not a reference architecture.
The missing layer
Build systems prove that software was produced. ProofTools addresses what happens next: adaptation, packaging, constrained transfer, installation, capacity testing, and evidence on the customer’s own infrastructure.
Each tool owns one verb and composes through versioned contracts. The result is a delivery path that can fail honestly, resume safely, and leave a record strong enough for an acceptance decision.
One verb per tool
Maturity is stated explicitly. Production-used tools are separated from active development and planned acceptance capabilities.
Train private behavior adapters and merged model artifacts against an explicit trust boundary, then ship the result with corpus, training, deployment, and evaluation evidence.
Build immutable delivery bundles, execute resumable runbooks, and preserve install and upgrade evidence.
Transfer split bundles through restricted WebDAV, Windows jump-host, and SSH paths with checksum verification.
Compile semantic delivery intent into typed execution plans, durable run state, and provider-independent jobs.
Capture workload, latency, throughput, GPU utilization, memory, and cost evidence under reproducible conditions.
Evaluate readiness contracts and assemble the final evidence needed for release and customer acceptance.
Engineering discipline
Models, images, corpora, contracts, and runtime assumptions receive immutable identities.
Acceptance evidence targets the merged model, serving runtime, GPU topology, and environment that will operate.
Interrupted transfers, rejected samples, evaluator corrections, and no-go findings remain visible.
Delivery includes configuration, smoke checks, limitations, monitoring assumptions, and rollback.
Origin
ProofTools grew from delivering a private AI product into a German university hospital’s customer-owned, GPU-backed, air-gapped environment. The hard problems were not confined to model inference.
They were bundle integrity, constrained transport, repeatable installation, target-specific validation, model behavior, capacity, and evidence that security and procurement teams could review.
Start a conversation
Share the model, environment, or acceptance problem. The first reply will focus on fit, missing evidence, and the smallest credible scope.
Current public result