https://pypi.org/project/rung-cli/ Recent updates to the Python Package Index for rung-cli en https://pypi.org/project/rung-cli/0.1.4/ An opinionated verification ladder for software written with coding agents: architecture rules, runtime evidence, properties, TLA+ and Lean, and an evidence ledger that expires when code changes. Sun, 01 Nov 2026 14:57:42 GMT https://pypi.org/project/rung-cli/0.1.3/ An opinionated verification ladder for software written with coding agents: architecture rules, runtime evidence, properties, TLA+ and Lean, and an evidence ledger that expires when code changes. Sun, 01 Nov 2026 13:04:54 GMT https://pypi.org/project/rung-cli/0.1.2/ An opinionated verification ladder for software written with coding agents: architecture rules, runtime evidence, properties, TLA+ and Lean, and an evidence ledger that expires when code changes. Sun, 01 Nov 2026 11:10:09 GMT