TS-Reasoner v30.0.0: verifier-first local agent OS where language/model systems propose, typed verifier support and risk gates decide, and receipts make outcomes inspectable.
python research ai verification reasoning interpretability verifier-first local-agent-os constraint-graph proof-objects
-
Updated
Jun 2, 2026 - Python