Lumen Loop
All projects
I
Developer ToolingSCF Funded

Inferera

Domain-specific formal specification language for Soroban smart contracts, enabling verifiable correctness proofs and automated security analysis.

Launch app↗
Connect
Latest news
Jun 4
Leave No Room for Errors: How Inference is Bringing Accessible Theorem Proving to Stellar
May 20Research
How the Soroban Security Portal is Evolving
Jan 14
Monolithic Architecture vs. Formal Verification: The Combinatorial Explosion Problem
Jan 14
Monolithic Architecture vs. Formal Verification: The Combinatorial Explosion Problem
Oct 31
SCF #39 Round Recap
{ }@inferara6 repositories
View all on GitHub →
</>inference

🌀 Inference programming language

★ 20⑂ 16Rust
</>inference-language-spec

🌀 Inference programming language specification

★ 17⑂ 2
</>soroban-security-portal

Unified knowledge base of Soroban common vulnerabilities and best practices

★ 10⑂ 53TypeScript
</>tree-sitter-inference

Inference Grammar for tree-sitter

★ 2⑂ 0JavaScript
</>book

The Inference Programming Language

★ 0⑂ 0JavaScript
</>soroban-ret

Soroban Smart Contracts Reverse Engineering Tool

★ 0⑂ 1Rust
𝕏Latest on X@inferara_kk
View all on X →
I
Inferara@Inferara_kk
Jun 8

http://x.com/i/article/2063817938596196352

I
Inferara@Inferara_kk
Jun 8

http://x.com/i/article/2063817938596196352

I
Inferara@Inferara_kk
Jun 8

http://x.com/i/article/2063817938596196352

I
Inferara@Inferara_kk
Jun 4

🌀Big milestone alert! We have completed the final milestone for Inference through SCF #39 The Inference compiler can now process .inf files to automatically formalize and lower them into Rocq theories (.v) for automated theorem provers https://inference-lang.org/proof-assista…

Similar projects
By category & tags
R
Runtime VerificationDeveloper Tooling
SCF
Formal VerificationSecurity

Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.

View →
S
Stellar Security PortalDeveloper Tooling
SCF
SecurityDevX

Soroban Security Portal is a go-to hub for all things secure in the world of Soroban - Soroban's smart contract platform. Think …

View →
O
OpenZeppelinDeveloper Tooling
SecurityDevXSDK

OpenZeppelin is a recognized leader in blockchain security and smart contract development, known for creating widely-used framew…

View →
T
TekenDeveloper Tooling
SCF
SecurityDevXMulti Signatures

Teken’s mission: an easy-to-use multi-signature app for Stellar, enhancing security and collaboration via Soroban smart contracts.

View →
O
OtterSecDeveloper Tooling
SCF
Formal VerificationSecurityAI

OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple netwo…

View →
S
Soroban AssistantDeveloper Tooling
SCF
Formal VerificationSecurityAI

AI assistant for Soroban Q&A, smart-contract code writing & rigorous testing to elevate your smart-contract projects.

View →