michael-denyer /agent-formal-verify

Model-check protocols with TLA+, prove invariants with Lean 4, and check bounded Rust functions with Kani.

★ 45↓ 1,200

还没验Not verified yetpluginGPL-3.0-onlyCreated 2026-10-28

下载：0.4.30.4.3 ↓0.4.32026-11-03

stars

1,200

downloads30d

–

downloads_month

0.4.3 0.4.3 2026-11-03

Snapshot: 2026-11-12T15:40:49Z · Data license Apache-2.0 · JSON