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

1 months ago

May 20, 2026

Open Issues

Across 1 repository

Total Stars

GitHub community engagement

1 repository linked to this project