invariant-checking

Here are 3 public repositories matching this topic...

Rust LLM-driven deterministic graph core (v0 prototype)

🛡️ Runtime security kernel for cross-chain bridges. Explainable invariant checks. Plug-and-play connectors. Open source.

🧠 Enhance AI memory with a Rust-based graph core for safe, debuggable, and auditable long-term memory, minimizing hallucination in LLMs.

rust validation ai prototype experimental rule-engine graph knowledge-graph deterministic ai-safety graph-transformation ai-alignment symbolic-ai dpo neuro-symbolic llm hybrid-ai invariant-checking

Add a description, image, and links to the invariant-checking topic page so that developers can more easily learn about it.

To associate your repository with the invariant-checking topic, visit your repo's landing page and select "manage topics."