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 2 hours 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. It has been installed 0 times through Conduid.

The repository has 1 stars and 0 forks.

Install

Clone
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

  • ·README presentNot checked yet.
  • ·License declaredNot checked yet.
  • ·Tests presentNot checked yet.
  • ·Dependencies pinnedNot checked yet.
  • ·No dynamic code executionNot checked yet.
  • ·Scoped permissionsNot checked 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?

Run git clone https://github.com/arcadamarket/rag-runtime-kernel, then add the server to your MCP client's configuration. Conduid has recorded 0 installs, so the command is known to work with current clients.

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?

Conduid hasn't recorded a commit date for this repository yet. Check the repository directly for recent activity.