Skip to content

Documentation

InferNode is a 64-bit Inferno® distribution: a complete operating system in 15–30 MB of RAM, where every resource is a file, every process has its own private view of the filesystem, and AI agents are contained by that view rather than by a policy engine.

If you have never run it, start with the quick start. It takes about half an hour and ends with an agent doing work it cannot escape from.

The system

Veltro is the agent runtime, Lucia the three-zone GUI, and Xenith the AI-native text environment. Each is a separate program talking to the others through files.

Security

Namespace isolation is proven in TLA+, SPIN, and CBMC. Agent trajectories are sealed into a hash-chained audit log; writes stage copy-on-write.

Reference

464 man pages across ten sections, plus the original Inferno papers on Dis, Styx, Limbo, and the shell.

Compliance

Mappings for NIST SP 800-53, SP 800-171, SP 800-207, CNSA 2.0, FIPS 140-3 readiness, and SLSA.