1. Conduid
  2. RAG
  3. Rag Runtime Kernel
MCP server · RAG

Rag Runtime Kernel

by · github.com/arcadamarket/rag-runtime-kernel

Persistent memory and deterministic state control for any LLM, in two tiers. Tier 1: a single markdown spec you paste into any chat - no install. Tier 2: a formally-verified Python runtime (2271 tests, TLA+) that runs state off-LLM. LLM proposes, system decides, state persists.

Unclaimed agent-memorycrash-recoverydeterministicllmmcpragstate-machinetla-plustoken-efficiency
InstallView source
34Low

Scored a month ago · breakdown

About Rag Runtime Kernel

Rag Runtime Kernel is an MCP server published by arcadamarket in the RAG category: persistent memory and deterministic state control for any LLM, in two tiers. Tier 1: a single markdown spec you paste into any chat - no install. Tier 2: a formally-verified Python runtime (2271 tests, TLA+) that runs state off-LLM. LLM proposes, system decides, state persists.

The repository has 1 stars and 0 forks, with the last commit 3 months ago. Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/arcadamarket/rag-runtime-kernel

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Rag Runtime Kernel

Powered by Claude · Grounded in docs

I know everything about Rag Runtime Kernel. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Releases

runtime-v0.4.44runtime-v0.4.44: BOOTMAP-BOOTROOT-FIX (E-074) · 22 Jul 2026BOOTMAP-BOOTROOT-FIX (E-074): the domain boot-map boot_root is pinned to the project root, decoupled from --gc-path/CWD. v0.4.43 sealed its baseline against the project root and audits against p.parent.parent, but cmd_session_start derived…
runtime-v0.4.43runtime-v0.4.43 — bootmap (ROOT-FILE-MANIFEST) · 22 Jul 2026Deterministic domain boot-map: session-open walk of the project root -> {path,sha256,size,mtime,class,owner} per file, persisted to a machine-generated BOOTMAP_MANIFEST.json sidecar under .bak parity with a one-line meta pointer, diffed by…
runtime-v0.4.42runtime-v0.4.42: REUSE-REGISTRY-GUARD · 21 Jul 2026Baked-asset registry + reuse-before-rewrite guard. New asset_registry verb-support module (count stays 20) + register-asset / reuse-check CLI verbs + drift_audit.check_asset_registry auditor. Lean-RAG storage: inventory in the non-loaded…
runtime-v0.4.41runtime-v0.4.41 - scaffold transplant verb · 19 Jul 2026Adds the governed `transplant` verb: copies universal scaffold rules from the named INIT spec into a project RAG on classification Authority A (a rule is universal iff it appears in the spec). Additive-only, fail-loud on collision (never…
runtime-v0.4.40runtime-v0.4.40 - MIGRATE-INITPROMPT-REPAIR-PATH · 18 Jul 2026Unconditional init_prompt/policy coherence: meta.rag_files.init_prompt and COLD.init_prompt_reference MUST AGREE with meta.policy_version, reconciled every migrate pass (not only on advance). is_noop no longer reports no-op on a stale…
Questions

About Rag Runtime Kernel

How do I install Rag Runtime Kernel?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Rag Runtime Kernel safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Rag Runtime Kernel still maintained?

Yes — the latest release is runtime-v0.4.44 (22 Jul 2026), and the last commit was 3 months ago. The repository has 1 stars.