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

Yesterday

November 11, 2026

Open Issues

122

Across 2 repositories

Total Stars

GitHub community engagement

2 repositories linked to this project