Kremis

For AI engineers: Kremis provides a verifiable knowledge substrate for agents so they query deterministic graphs instead of hallucinating answers.

Built by TyKolt · Artificial Intelligence · Developer Tools · Open Source · Free

Visit website

In category: #1460 of 1986 · Artificial Intelligence

Instant Launch listing

Listing status

2upvotes

Community score

TyKolt (Joined Jun 2026)

Founder

Compared against 6 alternatives

Market comparison

Launched on Launch Llama Jun 2, 2026 · #12 of 18 that day

About

Kremis is a verifiable knowledge substrate for AI agents: instead of generating answers and hoping they’re right, agents query a deterministic graph that returns honest output — facts, inferences, or an explicit unknown, never silent gap-filling — with every result traceable to a graph path and inspectable state hash; queries can also return a Verifiable Query Certificate, a deterministic reproducible object that can be re-run against the same graph state to re-verify the result, including certified unknown (proof of absence); shipped as an MCP server (queryable directly from Claude) and an HTTP API, open source (Apache 2.0), built in Rust, with in-memory or crash-safe persistent storage.

Key Features

Honest output for facts, inferences, or "unknown"
Deterministic for same input, same output
Verifiable Query Certificates, reproducible proofs, incl. proof of absence

Use Cases

Agent memory via MCP
LLM fact-checking
Provenance & audit trail
Reproducible, re-verifiable query results (certificates)

Who it is for

For developers shipping LLM features who need knowledge they can trust

AI agent developers
Teams shipping LLM features
Engineers who need auditable knowledge
Claude / MCP users

Pricing

Free and open source (Apache 2.0). Self-hosted — no account, no usage limits, no telemetry.

View Kremis pricing →

Verdict

Kremis is experimental, alpha-stage — not a turnkey product. For developers tired of confident hallucinations, it takes a different approach from vector-store guesswork: a deterministic graph that answers with a fact, an inference, or an honest "I don't know", tracing every result back to the underlying data. Results can also be packaged as a Verifiable Query Certificate that another party can reproduce to independently re-check the answer. Small, inspectable, and open source.

FAQ

Is Kremis production-ready?

No — it's experimental and alpha-stage. Stable enough to build and test against, but the API may change.

What is a Verifiable Query Certificate?

A deterministic, reproducible record of a query result (introduced in v0.19.0). Given the same graph state, anyone can re-run it and get byte-identical output — even an "unknown" answer is certifiable as a proof of absence. Re-verification reproduces the canonical state, so it is not a standalone proof in isolation.