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+
Haruno
The AI teammate that runs your back office.
Haruno installs on your Mac or Windows PC and gets to work right away — drafting reports, building Word, Excel and PowerPoint files, researching the web, and finishing whole tasks on its own. Our team tailors it to your business — no IT project required.
“Draft this month’s management report.”
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