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

Stellar Community Fund

This project received funding from the SCF

Funded Round

41

Total Funded

$100,000

SCF Page

View on Community Fund

Last Activity

1 weeks ago

October 29, 2026

Open Issues

10

Across 10 repositories

Total Stars

10

GitHub community engagement

Repositories

10 repositories linked to this project

Inferara/stablecoin-close

inferara/inference-fuzzer

Jul 16, 20253 issues

Inferara/w3f-bulbasaur

Inferara/pallet-balances-formal-verification

Inferara/inf-wasm-tools

11 months ago31 issue

inferara/merkle-tree-wasm-spec

Inferara/inferara.com

9 months ago41 issue

Inferara/tree-sitter-inference

Inferara/soroban-ret

1 weeks ago5 issues