https://github.com/tykolt/kremis
A minimal graph engine for grounded AI — records, associates, and retrieves, but never invents. Written in Rust.
https://github.com/tykolt/kremis
deterministic embedded-database explainable-ai graph-database mcp rust
Last synced: 6 days ago
JSON representation
A minimal graph engine for grounded AI — records, associates, and retrieves, but never invents. Written in Rust.
- Host: GitHub
- URL: https://github.com/tykolt/kremis
- Owner: TyKolt
- License: apache-2.0
- Created: 2026-01-31T10:30:23.000Z (2 months ago)
- Default Branch: main
- Last Pushed: 2026-03-07T09:02:47.000Z (about 1 month ago)
- Last Synced: 2026-03-07T09:56:32.194Z (about 1 month ago)
- Topics: deterministic, embedded-database, explainable-ai, graph-database, mcp, rust
- Language: Rust
- Homepage:
- Size: 690 KB
- Stars: 8
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- Funding: .github/FUNDING.yml
- License: LICENSE
Awesome Lists containing this project
README
Kremis
Deterministic knowledge graph for AI that never hallucinates
A minimal, graph-based cognitive substrate in Rust.
Records, associates, retrieves — but never invents.
> **Alpha** — Functional and tested. Breaking changes may still occur before v1.0.
---
## Why Kremis
| Problem | How Kremis addresses it |
|---------|------------------------|
| **Hallucination** | Every result traces back to a real ingested signal. Missing data returns explicit "not found" — never fabricated |
| **Opacity** | Fully inspectable graph state. No hidden layers, no black box |
| **Lack of grounding** | Zero pre-loaded knowledge. All structure emerges from real signals, not assumptions |
| **Non-determinism** | Same input, same output. No randomness, no floating-point arithmetic in core |
| **Data loss** | ACID transactions via `redb` embedded database. Crash-safe by design |
> [Design Philosophy](https://kremis.mintlify.app/philosophy) — why these constraints exist.
---
## Features
- **Deterministic graph engine** — Pure Rust, no async in core, no floating-point. Same input always produces the same output
- **CLI + HTTP API + MCP bridge** — Three interfaces to the same engine: terminal, REST, and AI assistants
- **BLAKE3 hashing** — Cryptographic hash of the full graph state for integrity verification at any point
- **Canonical export (KREX)** — Deterministic binary snapshot for provenance, audit trails, and reproducibility
- **Zero baked-in knowledge** — Kremis starts empty. Every node comes from a real signal
- **ACID persistence** — Default `redb` backend with crash-safe transactions
---
## Use Cases
### AI agent memory via MCP
Give Claude, Cursor, or any MCP-compatible assistant a verifiable memory layer. Kremis stores facts as graph nodes — the agent queries them, and every answer traces back to a real data point. No embeddings, no probabilistic retrieval.
### LLM fact-checking
Ingest your data, let an LLM generate claims, then validate each claim against the graph. Kremis labels every statement as `[FACT]` or `[NOT IN GRAPH]` — no confidence scores, no ambiguity.
### Provenance and audit trail
Export the full graph as a deterministic binary snapshot, compute its BLAKE3 hash, and verify integrity at any point. Every node links to the signal that created it. Useful for compliance workflows where you need to prove what data was present and when.
---
## Honesty Demo
Ingest a few facts, let an LLM generate claims, and Kremis validates each one:
```
[FACT] Alice is an engineer. ← Kremis: "engineer"
[FACT] Alice works on the Kremis project. ← Kremis: "Kremis"
[FACT] Alice knows Bob. ← Kremis: "Bob"
[NOT IN GRAPH] Alice holds a PhD from MIT. ← Kremis: None
[NOT IN GRAPH] Alice previously worked at DeepMind. ← Kremis: None
[NOT IN GRAPH] Alice manages a team of 8. ← Kremis: None
Confirmed by graph: 3/6
Not in graph: 3/6
```
Three facts grounded. Three fabricated. No ambiguity.
```bash
python examples/demo_honesty.py # mock LLM (no external deps)
python examples/demo_honesty.py --ollama # real LLM via Ollama
```
---
## Quick Start
Requires **Rust 1.89+** and Cargo.
```bash
git clone https://github.com/TyKolt/kremis.git
cd kremis
cargo build --release
cargo test --workspace
```
```bash
cargo run -p kremis -- init # initialize database
cargo run -p kremis -- ingest -f examples/sample_signals.json -t json # ingest sample data
cargo run -p kremis -- server # start HTTP server
```
In a second terminal:
```bash
curl http://localhost:8080/health
curl -X POST http://localhost:8080/query \
-H "Content-Type: application/json" \
-d '{"type":"lookup","entity_id":1}'
```
> **Note:** CLI commands and the HTTP server cannot run simultaneously (`redb` holds an exclusive lock). Stop the server before using CLI commands.
### Docker
```bash
docker build -t kremis .
docker run -d -p 8080:8080 -v kremis-data:/data kremis
```
---
## Architecture
| Component | Description |
|-----------|-------------|
| **kremis-core** | Deterministic graph engine (pure Rust, no async) |
| **apps/kremis** | HTTP server + CLI (tokio, axum, clap) |
| **apps/kremis-mcp** | MCP server bridge for AI assistants (rmcp, stdio) |
See the [architecture docs](https://kremis.mintlify.app/architecture) for internals: data flow, storage backends, algorithms, export formats.
---
## Documentation
Full reference at **[kremis.mintlify.app](https://kremis.mintlify.app)**:
| Topic | Link |
|-------|------|
| Introduction | [kremis.mintlify.app/introduction](https://kremis.mintlify.app/introduction) |
| Installation | [kremis.mintlify.app/installation](https://kremis.mintlify.app/installation) |
| Quick Start | [kremis.mintlify.app/quickstart](https://kremis.mintlify.app/quickstart) |
| Configuration | [kremis.mintlify.app/configuration](https://kremis.mintlify.app/configuration) |
| CLI Reference | [kremis.mintlify.app/cli/overview](https://kremis.mintlify.app/cli/overview) |
| API Reference | [kremis.mintlify.app/api/overview](https://kremis.mintlify.app/api/overview) |
| MCP Server | [kremis.mintlify.app/mcp/overview](https://kremis.mintlify.app/mcp/overview) |
| Philosophy | [kremis.mintlify.app/philosophy](https://kremis.mintlify.app/philosophy) |
---
## Testing
```bash
cargo test --workspace
cargo clippy --all-targets --all-features -- -D warnings
cargo fmt --all -- --check
```
---
## License
[Apache License 2.0](LICENSE)
The brand assets in [`docs/logo/`](docs/logo/) (logo, icon, favicon) are proprietary and not covered by the Apache 2.0 license. See [`docs/logo/LICENSE`](docs/logo/LICENSE).
## Contributing
See [CONTRIBUTING.md](CONTRIBUTING.md) for guidelines. The architecture is still evolving — open an [issue](https://github.com/TyKolt/kremis/issues) before submitting a PR.
## Acknowledgments
This project was developed with AI assistance.
---
Keep it minimal. Keep it deterministic. Keep it grounded. Keep it honest.