Sovereign Router is a routing function designed to direct inference requests between large language models, specifically Claude (Anthropic/Bedrock) and Qwen3. It applies Answer Set Programming (ASP) with NAND-decomposed attention scoring to determine which model should handle a given request. The routing process is defined by the function R(x, c, pi, rho) that takes an input token sequence, context window state, policy constraints, and routing budget, and outputs the selected model, temperature, gate decision, and a verifiability score. The tool aims to optimize routing decisions by maximizing quality while balancing cost, risk, and verifiability.
Among its notable features, Sovereign Router includes a Sonnet Anti-Capture Mechanism (SACM) gate, which is designed to block identity hijacking. It also provides Qwen persona detection to identify instances where Qwen3 may present itself as another model, such as claude-3-5-sonnet-20241022. The routing decisions leverage NAND circuits, enabling them to operate with computational complexity of O(log d) instead of O(nd). The Boolean routing theorem underlying these decisions is verified in Lean 4, ensuring mathematical soundness and zero reliance on unproven assumptions.
The tool is licensed under the sovereign-source-license-v2. Sovereign Router is positioned as a solution for managing multi-model inference scenarios, especially where concerns about quality, cost, risk, and identity integrity are paramount.
Sovereign Router is a Foundation models & chat product. It focuses on routing and optimizing inference requests between multiple LLMs such as Claude and Qwen for quality and cost. It is built as an open-source project for AI infrastructure engineers. Sovereign Router is open source under the Open Source license. Sovereign Router is available on the web and the command line.
Behind Sovereign Router is SNAPKITTYWEST, and the product first shipped in 2026. Development happens publicly on GitHub with 75 commits in the last 90 days. Key capabilities include model routing, multi-model support, and ASP gate.
Latest indexed changes and source events
SNAPKITTYWEST/sovereign-router verified by the PulseGate indexer
Other apps tracked under the same category.
