Soroban Security Portal is a go-to hub for all things secure in the world of Soroban - Soroban's smart contract platform. Think of it as your safety compass: audit history, tools, tips and top-tier experts who've put Soroban projects through their paces.
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
The Inference Programming Language
Soroban Smart Contracts Reverse Engineering Tool
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
