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
Inferara official website
Soroban Smart Contracts Reverse Engineering Tool
The Inference Programming Language
If you @BuildOnStellar please give @InferenceLang a go
A @StellarOrg - target build is now a complete, deployable, invocable Stellar Smart contract, for pure functions over scalars. https://github.com/Inferara/inference/pull/484
Analyze company financials and prepare a comprehensive report in just 30 minutes.
Traceability and control is very important. And it is even more important when work is delegated to autonomous actors. Finance, law, and regulations are sensitive and proper data sources must be…
Our team is small, but every member brings exceptional talent and deep expertise in specialized fields such as programming language and compiler development, formal methods, software correctness verification, and algorithm design. We haven’t posted much about AI agents — not…
Thank you to @dripsnetwork for inviting us to speak about the Stellar Security Portal and open source projects. Enjoyed hearing from @stellarroute about their journey on Stellar which was was accelerated by open source contributors, leading to their SCF #45 submission!
