Inference

Live

Tooling

Security

About Inference

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

This project received funding from the SCF

Funded Round

Total Funded

$149,730

SCF Page

View on Community Fund

Last Activity

4 days ago

September 14, 2026

Open Issues

106

Across 2 repositories

Total Stars

GitHub community engagement

2 repositories linked to this project