Domain-specific formal specification language for Soroban smart contracts, enabling verifiable correctness proofs and automated security analysis.
Last 6 months · Weekly commits
🌀 Inference programming language
🌀 Inference programming language specification
Unified knowledge base of Soroban common vulnerabilities and best practices
Inference Grammar for tree-sitter
Soroban Smart Contracts Reverse Engineering Tool
The Inference Programming Language
Happening now!
Join the Stellar APAC community call hosted by @Inferara_kk and learn about projects and @BuildOnStellar initiatives. http://luma.com/join/g-uRlEOKFvVuREmIm
LSP is available!
When so much code is emitted by AI, we build the right way to verify code with @InferenceLang https://www.digitimes.com/news/a20260720PR201/data-software.html?chid=9
Also available on https://stellarsecurityportal.com/dev-tools
The new version v0.0.4 is released and available on http://crates.io! Very useful for everyone who @BuildOnStellar https://github.com/Inferara/soroban-ret/releases/tag/v0.0.4
The new version v0.0.4 is released and available on http://crates.io! Very useful for everyone who @BuildOnStellar https://github.com/Inferara/soroban-ret/releases/tag/v0.0.4
