Decentralized multi-agent system for supply chain resilience. Official implementation of the 'Readiness Protocol' (Technical Report available).

Open-source satellite constellation management and AI-assisted operations platform. Unified control plane for fleet visualization, pass scheduling, data routing, and intelligent operations assistance.

Analyze an ADS-B feed/CSV for anomalies: callsign spoofing, squawk 7500/7600/7700, and unusual loiter patterns.

Autonomous Target Tracking Turret

Defense-grade Secure Data Transmission System using AES-128 Encryption and HMAC Integrity Checks.

Self-hosted blockchain intelligence engine — on-chain behavioral clustering, cross-chain risk tracing, and FATF-aligned risk scoring for compliance and intelligence operators.

Hobby air-defense simulation lab built with Python, FastAPI, WebSockets, layered sensors, threat scoring, SAM/CIWS engagement logic, and a browser tactical dashboard.

omphalOS is an investigation platform for high-stakes analytical work — originally built for the U.S. Bureau of Industry and Security.

Descriptive, citation-grade catalog of frontline & commercial drones + the open autonomy ecosystem (PX4/ArduPilot/MAVLink) and NVIDIA's open Hugging Face robotics/perception models. MIT (code) / CC BY 4.0 (data).

Personal portfolio featuring my engineering projects and research in systems architecture, applied physics, and quantitative finance.

Public evidence index for Blackglass Continuum runtime assurance artifacts, claim boundaries, and procurement-safe proof summaries.

Drone-coordinated tactical mesh where everything the enemy sees is a lie. A fiber-tethered sync beacon makes the defender's chaos the enemy's confusion. Junction × Aalto DefenceHack 2026 / Kova Labs challenge.

Λ-Conjecture-1 bounty intake (verify-proof CI + webhook). Canonical problem statement: szl-papers/bounty.

Build and query a structured catalog of installations/AOIs with distance, sector, and coverage queries.

Counter-UAS telemetry/log analyzer that flags drone-detection events, RF bands, and track anomalies.

Lean 4 + Mathlib formalization of the Λ aggregator — Λ uniqueness as Conjecture 1 (not a closed theorem). 749 declarations · 14 axioms · 163 tracked sorries. Backs the SZL governance gate. Doctrine v11 LOCKED · DOI 10.5281/zenodo.20434308

SCIF/SAPF compliance helpers: badge audit, TPI, escort tracker

Voice-first, offline AI assistant for Army paperwork. SCSP Hackathon 2026 — GenAI.mil track.

Operation Blackout — a fast browser FPS.

Doctrine-pinned CRDT mesh layered on peat — BFT wiring, 3-of-4 Khipu quorum, seven inventions beyond UDS Fleet. Doctrine v11 LOCKED (749/14/163).