01
Works fully offline (localhost Ollama only)
Local Test Copilot
Air-gapped C unit-test generation — a local LLM proposes cases, gcc + gcov judge them, coverage gaps drive the loop.
REFNK-09
VERBASSURE
STATEIN DEVELOPMENT
VERIFIEDSUITE PASS · 2026-08-29
In developmentSpecification
//00 NEEDS
What brings you here.
The situations this instrument was built for — and what it does about each one.
Need 01
C unit tests are wanted, but the code lives on an air-gapped network.
Answer
Everything runs on your machine: a loopback-only local model proposes, gcc and gcov judge.
Need 02
LLM-generated tests can assert wrong behaviour with complete confidence.
Answer
Whatever the toolchain cannot confirm is discarded or flagged — never shipped as a passing test.
Need 03
Coverage gaps are the point, not an afterthought.
Answer
The model is told exactly which lines and branches are still unexercised, and asked again until the targets are met.
ASSUREIN DEVELOPMENT
SCANLOCKED
//00 WHAT IT DOES
02
Deterministic --manual mode
03
Branch-coverage feedback loop
//00 IN PRACTICE
What you'll see.
Point it at a C function. A local LLM suggests test cases, then gcc compiles them, the test binary runs them, and gcov measures what they actually exercised. Whatever the toolchain cannot confirm is discarded or flagged — never shipped as a passing test.
01
ltc doctor: what did it find on this machine?
Doctor reports the compiler, the coverage tool, and whether a model is around. The deterministic --manual path needs no model at all — AI is an amplifier here, not a premise.
02
A verified run: 100% line and branch coverage
The suite that comes out is plain C you can compile and run anywhere, alongside a coverage report, the replayable cases, and the raw compiler and gcov logs.
03
The model proposes; the compiler decides
The model is told exactly which lines and branches are still unexercised, and asked again until the targets are met. Its cases only survive if gcc and gcov confirm them.
//00 DATASHEET
NK-09 datasheet
Build
PlatformLinux / macOS CLI
AILocal Ollama
Judgegcc + gcov
Reference
REFNK-09
VERBASSURE
STATEIN DEVELOPMENT
One file.
Copy it and run.
No installer, no package manager, no service account. Move the executable onto the air-gapped machine and open your work.
STATEIN DEVELOPMENT
In development
//00 FAQ
Quick answers
Does Local Test Copilot work offline?
Yes. Like every NOKTRA instrument it is offline-first: no cloud services, no telemetry, and any AI runs locally on your own machine. It is built for air-gapped networks.
What platform does Local Test Copilot run on?
Linux / macOS CLI. See the datasheet on this page for build details.
Is Local Test Copilot available for download now?
Not yet — it is in development. It is listed with no promised date, until a build exists you can run.
Next in the index
ICD Refinery
Turns messy, inconsistent interface control documents into a validated canonical spec — local-LLM extraction, deterministic linting, human approval, codec generation.
SIL Runtime
Fixed-step model execution for control software without hardware — deterministic MIL/SIL loops, stimulus injection, limit judgment.
Test Sequencer
YAML test sequences → execution → pass/fail judgment → audit-ready HTML reports.