← all MCP servers
Assura
io.github.assura-lang/assura
Check Assura contracts with Z3. Returns Verified, Counterexample, or Unknown.
install
cargo · stdio
cargo install assura
details
- version
- 0.8.0
- license
- MIT
- stars
- 9
- last commit
- 2026-11-09
- published
- 2026-11-08
last synced 2026-11-09