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 months ago

August 6, 2026

Open Issues

10

Across 9 repositories

Total Stars

10

GitHub community engagement

Repositories

9 repositories linked to this project

inferara/inference-fuzzer

Jul 16, 20253 issues

Inferara/w3f-bulbasaur

Inferara/pallet-balances-formal-verification

Inferara/inf-wasm-tools

9 months ago31 issue

inferara/merkle-tree-wasm-spec

Inferara/inferara.com

8 months ago41 issue

Inferara/tree-sitter-inference

Inferara/soroban-ret

1 months ago5 issues