# RuVix

> RuVix is an operating system kernel designed for AI agents and cognitive workloads, replacing file/process thinking with vectors, graphs, proofs, and capabilities. Features proof-gated mutations, unforgeable capability tokens, io_uring-style IPC, coherence-aware scheduling, and support for bare-metal AArch64, multi-core, Raspberry Pi, networking, and distributed QEMU swarms.

- **URL:** https://github.com/ruvnet/ruvector/tree/main/crates/ruvix
- **Category:** Sdks Libraries
- **Tags:** os-kernel, Ai Agents, proofs, Rust
- **Updated:** 2026-04-07 10:19
- **Canonical page:** https://vectordb.ever.works/items/ruvix

## Details

## Overview

RuVix thinks in vectors, graphs, proofs, and capabilities for native AI support.

## Primitives

| Primitive | Purpose | Status |
|-|-|-|
| Task | Concurrent execution with capability set | ✅ Implemented |
| Capability | Unforgeable access token (seL4-inspired) | ✅ Implemented |
| Region | Memory with policy (immutable/append/slab) | ✅ Implemented |
| Queue | io_uring-style lock-free IPC | ✅ Implemented |
| Timer | Deadline-driven scheduling | ✅ Implemented |
| Proof | Cryptographic attestation for mutations | ✅ Implemented |

Phases A-F complete with 20+ crates, 1,200+ tests.

## Developer Tools

- ruvix build: Cross-compile for AArch64
- ruvix flash: Flash to SD card
- ruvix keys: Ed25519 key management
- etc.

## Pricing

Free and open-source.

---

_This Markdown mirror is generated by Ever Works for AI agents. The canonical HTML page is at https://vectordb.ever.works/items/ruvix._