Async runtime for Rust where correctness is structural: region-owned tasks, cancel-correct protocols, capability-gated effects, and deterministic replay testing
Make AI agents follow instructions reliably and prove what they did. State machine engine with evidence chains, multi-agent delegation, human gates, and auditable execution — via MCP or CLI.
Evidence-first, multilingual, S3-native RAG — answers only from cited evidence (exact quote, page, bbox) and abstains when the evidence is weak, missing or conflicting. The guarantee is "no ungrounded claim". Byte-identical core across Python, Go and JavaScript. Docs: https://muthuishere.github.io/citenexus/