Skill Explorer

Generate TLA+ specs from code

verification-boundary-reporter

Map your formal verification landscape.

certora

Prove smart contract correctness with formal verification.

by0xinit

python-to-dafny-translator

Convert Python to verifiable Dafny code.

aptos-move-prover

Official

Move Prover formal verification expert

byraintree-technology

logic-analyzer_lc_v1

Verify business logic with formal verification.

byMilanKra13

cpp-to-dafny-translator

Translate C++ to Dafny for verification.

bysantosomar

axiomatic-semantics

Prove program correctness with logic.

Few Config

byrainoftime

mathematical-theorem-prover

Advanced math theorem proving for autonomous AI.

byzapabob

counterexample-generator

Debug failures with concrete examples.

hoare-logic-verifier

Prove program correctness with Hoare logic.

Few Config

byrainoftime

abstract-invariant-generator

Infer code invariants for formal verification.