█████████████ █████
LIGHTNING — a neurosymbolic safety layer for autonomous research agents. Reasoning under regulation, in the loop.
Frontier models can already plan multi-step syntheses, design novel agents, and specify reagents — without consulting a single export-control regime, controlled- substance schedule, or select-agent registry. The reasoning is opaque to the regulator, and the regulator is invisible to the model.
There is no formal layer between an agent's intent and the regulated world it operates in. Output filters miss it. Fine-tuning forgets it. Red-teams catch yesterday's failure modes.
LIGHTNING is the missing layer.
LIGHTNING sits between an autonomous research agent and any action with regulatory weight. It parses the agent's intent, evaluates the proposed action against eighteen control regimes simultaneously, and returns a structured allow / block / escalate verdict — with a citation trail to the controlling statute.
Foundation-model parsing of agent plans into structured action tuples: substance, quantity, transformation, destination, intent.
Formally encoded export-control law, controlled-substance schedules, and biosecurity statutes — evaluated as first-order constraints over the action tuple.
A verdict the operator can act on, signed by the symbolic layer and explainable down to the clause that governs it.
The agent's free-form plan is parsed into structured action tuples — substance, quantity, transformation, destination, intent.
Tuples are evaluated against eighteen formally encoded regimes — export control, biosecurity, controlled substances — as first-order constraints with provenance.
A signed verdict — allow, block, or escalate — paired with a citation trail to the controlling clause. The operator stays in the loop on every escalation.
Coverage spans US arms control, dual-use export regulation, multilateral regimes, biosecurity, controlled substances, and chemical-facility security.
Talk to us about deploying autonomous research where the rules are not optional.
Open contact form