An open API service indexing awesome lists of open source software.

https://github.com/cntm-labs/cntm-graph

High-performance custom graph engine for cognitive AI — zero-copy traversal with formal verification via Lean. The memory backbone for AGI.
https://github.com/cntm-labs/cntm-graph

agi flatbuffers formal-verification graph-database mmap mojo project-chronos rust shared-memory simd zero-copy

Last synced: about 2 months ago
JSON representation

High-performance custom graph engine for cognitive AI — zero-copy traversal with formal verification via Lean. The memory backbone for AGI.

Awesome Lists containing this project

README

          

# cntm-graph

**Continuum: Where Symbolic Logic Meets Neural Performance**

[![CI](https://github.com/cntm-labs/cntm-graph/actions/workflows/ci.yml/badge.svg)](https://github.com/cntm-labs/cntm-graph/actions/workflows/ci.yml)
[![Security](https://github.com/cntm-labs/cntm-graph/actions/workflows/security.yml/badge.svg)](https://github.com/cntm-labs/cntm-graph/actions/workflows/security.yml)
[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](LICENSE)
[![Status](https://img.shields.io/badge/status-active-success)](./)

![Rust LOD](https://img.shields.io/badge/Rust_LOD-0-dea584.svg) ![Mojo LOD](https://img.shields.io/badge/Mojo_LOD-0-CC0000.svg) ![Total LOD](https://img.shields.io/badge/Total_LOD-0-brightgreen.svg)

[![Rust](https://img.shields.io/badge/Rust-dea584?logo=rust&logoColor=white)](./) [![Mojo](https://img.shields.io/badge/Mojo-CC0000?logo=mojo&logoColor=white)](./) [![FlatBuffers](https://img.shields.io/badge/FlatBuffers-4285F4?logo=google&logoColor=white)](./) [![SIMD](https://img.shields.io/badge/SIMD-555555)](./) [![SHM](https://img.shields.io/badge/SHM-555555)](./) [![mmap](https://img.shields.io/badge/mmap-555555)](./)

---

[ English | [ภาษาไทย](./locales/README.th.md) | [日本語](./locales/README.ja.md) | [简体中文](./locales/README.zh.md) ]

The Continuum Graph Engine (cntm-graph) is a high-performance, low-level graph engine designed specifically to serve as the memory and cognition layer for AGI. Built in Rust with a focus on zero-copy data traversal, it bridges the gap between formal symbolic reasoning and high-throughput neural processing.

## ✨ Features

- 🚀 **Zero-Copy AI-Memory Bridge** — Direct memory mapping (mmap) providing instant access to graph nodes from Mojo/C++ engines with zero latency.
- 🏗️ **Data-Oriented Design (DOD)** — Optimized Structure of Arrays (SoA) layout for peak CPU cache efficiency and billion-scale node traversal.
- ⚡ **AVX-512 SIMD Acceleration** — Explicit 64-byte memory alignment allowing vectorized processing of 16 nodes per instruction.
- 🛡️ **Formalized Truth Verification** — Integrated Lean proof assistant logic to verify graph mutations, preventing AI hallucinations at the structural level.
- 📊 **Temporal Evolution Engine** — Powered by Isotime integration, capturing the chronological evolution of knowledge with delta-based compression.

## 🛠️ Quick Start

```bash
# Clone the repository
git clone https://github.com/cntm-labs/cntm-graph.git
cd cntm-graph

# Build the engine
cargo build --release

# Run performance benchmarks
cargo test --release
```

## 🗺️ Navigation

- 🏗️ **[Architecture](ARCHITECTURE.md)** — Core design and components.
- 📅 **[Roadmap](ROADMAP.md)** — Project timeline and milestones.
- 🤝 **[Contributing](CONTRIBUTING.md)** — How to join and help.
- 🌳 **[Project Structure](STRUCTURE.tree)** — Full file map.

## ⚖️ License

[MIT](LICENSE)