Back to Directory

Inferera

Live

Tooling

Security

About Inferera

Domain-specific formal specification language for Soroban smart contracts, enabling verifiable correctness proofs and automated security analysis.

Links & Resources

websiteinferara.com

githubgithub.com/inferara

twitterx.com/inferara_kk

discorddiscord.gg/ngwfmnms5c