Cogitave products
Kernels, operating systems, native browsers, and edge platforms built to make autonomy bounded, observable, and operable.
The system
Each product has an explicit maturity boundary. Available software, active research, and development programmes are labelled separately—because trustworthy infrastructure starts with precise claims.
An agent kernel for TypeScript.
A self-hosted, vendor-neutral TypeScript agent kernel and SDK with process isolation, scheduling, memory, IPC, budgets, and checkpoint/resume.
The agent-native operating system where the boot is the proof.
A from-scratch no_std Rust unikernel and micro-VMM with machine-checked leaves, fail-closed boot evidence, and explicit claim boundaries.
A vendor-independent, local-first native browser.
Built from a reproducible Chromium baseline with Nimbus-owned identity, product shell, native content filtering, and a client-neutral MCP companion.
Safety and evidence remain authoritative at the edge.
An edge-autonomous platform for regulated field devices where signed profiles and verdict engines define what a device may observe or actuate.
Audited remote access without an inbound port or VPN.
A guardian remote-console agent that dials out from customer devices and records authorized operator sessions across the relay boundary.
