formal-verification — independent software & tools

2 independent formal-verification listings the big search engines bury.

• emilia-protocol

  github · Free · by emiliaprotocol

  Consequence firewall for machine actions. EMILIA Gate verifies exact authority before money, code, permissions, infrastructure, or regulated state changes; the open protocol makes the evidence independently verifiable.

• UST-Protocol

  github · Free · by thelabmd

  RSS for state. Open portable evidence layer for machine state - preserving what an agent or system saw, produced, derived and learned, so another party or future agent can verify the lineage independently.