The developer-friendly formal specification language.
Inference is Inferara's flagship language that lets you specify and formally prove code properties without needing a PhD in mathematics.
.inf
Specification
WASM
Binary
✓ Proof
Verified
▶ Run
Execute
0061 736d 0100 0000
0107 0160 027f 7f01
7f03 0201 0007 0b01pub fn transfer(
env: Env,
from: Address,
amount: i128
) -> Result<(), Error>Stellar Soroban Decompiler
WASM → Rust decompiler for Stellar smart contracts.
Reverse-engineer compiled Soroban smart contracts from WASM back to readable Rust, enabling institutional-grade analysis and code review of deployed programs.
Soroban Security
Security tooling and resources for the Stellar Soroban ecosystem.
A comprehensive assurance platform for the Soroban smart contract ecosystem, providing tooling, audits, and governance resources for engineering and risk teams.
Protocol security score
A+
Vibe Checker
AI-assisted code quality and security analysis.
Vibe Checker analyzes your codebase for quality, security patterns, and best-practice compliance, giving you actionable feedback to improve your software.
3
Critical
7
Warnings
42
Passed
Inference Studio
Debug and automatically complete proofs.
A visual environment for debugging formal specifications and automatically completing proofs. Designed for engineering teams adopting formal methods at scale.
One Foundation
All Inferara tools share a foundation in formal methods and mathematical rigor — from specification to verification to deployment.
Learn About Our Methodology