Why this repo matters
No release captured, 11 developer signals, 3 package/install signals

Zero-token, precision-guaranteed relation-algebra verifier for LLM/agent multi-hop reasoning (0 stars, 0 forks, Python, 9 AI signals, 9 developer signals).