Continuous Open Invariant & Conformance Benchmark Harness for Autonomous Agent Swarms
-
Updated
Oct 1, 2026 - Python
#
formal-invariants
Here are 3 public repositories matching this topic...
Auditable browser-only decision-support tools and research prototypes.
open-source github-pages pwa vanilla-js scientific-computing french decision-support no-backend auditability formal-invariants
-
Updated
Nov 12, 2026 - HTML
Production Soroban smart contracts for milestone-based conditional escrow, multi-recipient settlement routing, formal invariants, and decentralized dispute arbitration on Stellar
rust security-audit smart-contracts wasm payments web3 stellar escrow defi soroban hackathon-ready formal-invariants settlement-router bounty-treasury
-
Updated
Nov 10, 2026 - Rust
Add this topic to your repo
To associate your repository with the formal-invariants topic, visit your repo's landing page and select "manage topics."