# KeiLab

> KeiLab builds MAX, a self-hosting math-native language; a bare-metal OS for real boards; LLM inference on MAX; and matrix-state theory for routing.

KeiLab is a deep-tech research lab. It is operated by KeiSei LLC, a Wyoming limited liability company.
This file lists every public page of https://keilab.io; each page also has a Markdown twin (the same address ending in index.md) with the readable text, absolute links and image alt text. Facts here are copied from the site's own pages; some method content is gated by mutual NDA and is not published.

## Contacts published on the site

- investors@keilab.io: Deck access — under NDA
- hello@keilab.io: General
- partners@keilab.io: Partnerships
- press@keilab.io: Press
- join@keilab.io: Careers
- Phone: +1 307 210 8538

## Start here

- [Mathematical foundations under modern AI](https://keilab.io/): Original matrix-state theory. A bare-metal OS for real boards. Self-hosting compiler. Our own research. Markdown: https://keilab.io/index.md

## Research

- [Theory tracks under one roof](https://keilab.io/research/): Seven research tracks, all in development — from matrix-state theory to language memory to the lab's own agent-fleet infrastructure. Public concept descriptions; full theory access under NDA. Markdown: https://keilab.io/research/index.md
- [Genesis](https://keilab.io/research/genesis/): The lab's original framework for matrix-state dynamics, aimed at routing: a discrete dispatch decision, and a confidence gate that tells a language model's confident answers from its guesses. Markdown: https://keilab.io/research/genesis/index.md
- [Sadalsuud — a confidence detector](https://keilab.io/research/sadalsuud/): A confidence detector, not a truth oracle: Sadalsuud is designed to sort a language model's answers into high, medium or low confidence and send low confidence to retrieval or an honest refusal. Markdown: https://keilab.io/research/sadalsuud/index.md
- [KeiBeta: a foundations cross-check](https://keilab.io/research/keibeta/): KeiBeta is designed to cross-check the structure of the Genesis state space against three established mathematical languages — topos theory, p-adic geometry and noncommutative geometry. Markdown: https://keilab.io/research/keibeta/index.md
- [K2K: a matrix-state library](https://keilab.io/research/k2k/): K2K is the lab's set of library modules for matrix state on the Frobenius unit sphere, with a level taxonomy of language from letter to discourse that kei-neuromem builds on. Markdown: https://keilab.io/research/k2k/index.md
- [kgl-overlay — a self-hosted mesh VPN](https://keilab.io/research/kgl/): kgl-overlay is the lab's self-hosted, Tailscale-class mesh VPN, written in Rust on QUIC and built on standard networking and cryptography. It is designed to join machines into one private network. Markdown: https://keilab.io/research/kgl/index.md
- [kei-neuromem — a memory that grows](https://keilab.io/research/kei-neuromem/): A growing associative memory for language that stores only the connections it is confident about, and feeds a conventional downstream model instead of trying to be the model. Markdown: https://keilab.io/research/kei-neuromem/index.md
- [keineuron — a nervous system for a fleet of agents](https://keilab.io/research/keineuron/): An always-on layer for the lab's own agent fleet, designed to give every event a verdict before it takes effect. Markdown: https://keilab.io/research/keineuron/index.md

## Hardware (KeiTech)

- [From neural control to neural silicon](https://keilab.io/hardware/): Ten hardware tracks, all in development — a bare-metal OS, prosthetic and vehicle control, wearable and structural sensing, and neural co-processor designs. Partner inquiries welcome. Markdown: https://keilab.io/hardware/index.md
- [An operating system designed around driver matrices — for real boards](https://keilab.io/hardware/max-os-silicon/): MAX-OS is a bare-metal operating system derived from a mathematical paradigm, not ported from Linux. Markdown: https://keilab.io/hardware/max-os-silicon/index.md
- [KeiT0 — neural-controlled prosthetic](https://keilab.io/hardware/keit0/): KeiT0 is a prosthetic-hand control design: small continuous-time and MLP control networks, trained against public hand simulations, designed to read surface EMG and drive a hand and wrist, with a separate fast reflex … Markdown: https://keilab.io/hardware/keit0/index.md
- [KeiDrive — vehicle dynamics ML](https://keilab.io/hardware/keidrive/): A vehicle-dynamics simulator and training loop for small int8 controllers, aimed at magnetorheological-fluid suspension control on a microcontroller next to the actuator. Markdown: https://keilab.io/hardware/keidrive/index.md
- [KeiFit: a wellness-wearable model](https://keilab.io/hardware/keifit/): A wellness-wearable model: a small continuous-time network designed to read motion (IMU), pulse (PPG) and skin (EDA, temperature) signals and recognise activity on the device, trained on public activity datasets. Markdown: https://keilab.io/hardware/keifit/index.md
- [KeiMoto: motorcycle ML controller](https://keilab.io/hardware/keimoto/): A motorcycle application of the KeiDrive training stack — vision and dynamics for the two-wheel envelope, on one embedded controller. Markdown: https://keilab.io/hardware/keimoto/index.md
- [KeiBeton — concrete that senses its own strain](https://keilab.io/hardware/keibeton/): A structural-health-monitoring design: a capacitive sensing mesh for concrete and rebar that reads local strain from the plate-capacitor relation C = εA / d as the material deforms. Markdown: https://keilab.io/hardware/keibeton/index.md
- [KeiAudio — audio co-processor design](https://keilab.io/hardware/keiaudio/): A co-processor design for real-time audio pipelines, built to run signal processing and inference inline, at low power, without round-tripping to a general-purpose CPU or GPU. Markdown: https://keilab.io/hardware/keiaudio/index.md
- [KeiVideo — camera neural ISP design](https://keilab.io/hardware/keivideo/): A design for a neural camera image-signal processor: one small continuous-time network that runs camera control — stabilisation, focus, exposure, white balance, HDR and noise reduction — next to the sensor. Markdown: https://keilab.io/hardware/keivideo/index.md
- [KeiCortex: a computer-use agent with a separate motor layer](https://keilab.io/hardware/keicortex/): KeiCortex is the lab's personal computer-use agent for the desktop: it reads the screen, listens, and moves mouse and keyboard with human-like trajectories. Markdown: https://keilab.io/hardware/keicortex/index.md
- [KeiMXecu: an ML engine controller](https://keilab.io/hardware/keimxecu/): An ML engine controller trained in simulation for a motocross engine, designed to run as firmware on an STM32H743 at the deterministic microcontroller layer, beneath any higher-level controller. Markdown: https://keilab.io/hardware/keimxecu/index.md

## AI infrastructure and software

- [The stack we build to train on](https://keilab.io/ai/): A self-hosting math-native compiler, an OS for real boards, LLM inference running on our own language, agent runtimes, and a from-scratch GPU training stack — all in development. Markdown: https://keilab.io/ai/index.md
- [MAX — a math-native language for neural runtimes](https://keilab.io/ai/max/): A self-hosting compiler whose syntax is mathematics. Unicode operators, matrix-state primitives, deterministic builds, CUDA and HIP back-ends. Markdown: https://keilab.io/ai/max/index.md
- [max-chain — a ledger written in MAX](https://keilab.io/ai/max-chain/): A permissioned proof-of-authority ledger written in MAX — consensus rules, ledger and contract logic built with the same self-hosting compiler as the rest of the lab's stack. Markdown: https://keilab.io/ai/max-chain/index.md
- [Serving large language models on our own stack](https://keilab.io/ai/llm-inference/): Language models running on the MAX language and runtime — including a clean-room MAX reimplementation of a large hybrid architecture, gated module by module against a reference engine's own outputs and measured against … Markdown: https://keilab.io/ai/llm-inference/index.md
- [MAX OS — a derivation-first operating system](https://keilab.io/ai/max-os/): An operating system written in MAX, designed to test research-derived kernel policies against classical ones and keep whichever wins. QEMU is its compiler/OS engineering harness; the same design targets real boards. Markdown: https://keilab.io/ai/max-os/index.md
- [From-scratch GPU LLM training](https://keilab.io/ai/gpu-llm/): A from-scratch GPU forward and backward stack for Qwen3-32B, written bottom-up and parity-checked against a CPU reference on the lab's local NVIDIA GB10, aimed at full-depth training of the 32B model. Markdown: https://keilab.io/ai/gpu-llm/index.md
- [KeiSeiKit — a model-agnostic coding-agent stack](https://keilab.io/ai/keiseikit/): The lab's Rust toolkit for running coding agents: a native TUI cockpit, a multi-provider agent daemon that is not locked to one model vendor, a content-addressed cache underneath every capability call, and a sleep layer … Markdown: https://keilab.io/ai/keiseikit/index.md
- [KeiSeiSDK — standalone agent runtime](https://keilab.io/ai/keisei-sdk/): A vertical-stack agent runtime and CLI for self-hosted LLM deployments. Runs against locally-served models or remote endpoints, with the same agent semantics across both. Markdown: https://keilab.io/ai/keisei-sdk/index.md

## Security

- [Security and cryptography, built in-house](https://keilab.io/security/): Authentication, private networking, traffic filtering, and cryptography — the lab's own security tooling, all in development. Markdown: https://keilab.io/security/index.md
- [KeiAuth — sign-in without passwords or vendor hardware keys](https://keilab.io/security/keiauth/): An authentication scheme the lab derived itself for its own internal tools, built to remove the dependency on a third-party hardware trust anchor such as a YubiKey or an Apple Secure Enclave. Markdown: https://keilab.io/security/keiauth/index.md
- [KeiWall — a web-application firewall](https://keilab.io/security/keiwall/): The lab's own web-application firewall: a Go reverse proxy with high-precision signature rules plus very small machine-learning models, designed to check every request inline without becoming the bottleneck. Markdown: https://keilab.io/security/keiwall/index.md
- [Cryptography builtins in the MAX runtime](https://keilab.io/security/max-crypto/): TLS 1.3's record layer, key schedule and handshake, Ed25519 signatures, ChaCha20-Poly1305 AEAD, Argon2id key derivation, and BLAKE2b hashing — C implementations inside the MAX runtime, exposed to MAX programs as … Markdown: https://keilab.io/security/max-crypto/index.md

## Company, investors and press

- [A research lab built for depth, not headcount](https://keilab.io/about/): KeiLab develops mathematical foundations under modern AI — from matrix-state theory to a bare-metal OS for real boards — with a tight team and a unified math-first language. Markdown: https://keilab.io/about/index.md
- [Deck access — under NDA](https://keilab.io/investors/): Full investor brief and technical depth are shared via signed mutual NDA. One email starts the conversation. Markdown: https://keilab.io/investors/index.md
- [Get in touch](https://keilab.io/contact/): Choose the channel that fits — partner inquiry, press, careers, or general. Markdown: https://keilab.io/contact/index.md
- [Materials, logos, fact-sheet](https://keilab.io/press/): For journalists, podcasters, and conference organisers. Markdown: https://keilab.io/press/index.md

## Optional

- [Sitemap](https://keilab.io/sitemap.xml): every public URL, including the Markdown twins.
- [Robots](https://keilab.io/robots.txt): crawl rules; AI crawlers are allowed.