Domain-specific formal specification language for Soroban smart contracts, enabling verifiable correctness proofs and automated security analysis.
🌀 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
Vibe Checker won at the 2026 Best AI Awards. The recognition highlights Vibe Checker as part of Taiwan's Best AI Awards, an AI innovation competition focused on real-world applications. Join the waitlist https://vibe-checker.org/jp#contact Our gratitude to the Ministry of…
LLMs hallucinate because they function as lossy compressors like JPEG or MP3. https://inferara.com/blog/llm-information-theory-lossy-compression/
We conducted an amazing event at @VenCafFukuoka Thursday Gathering #64! Inferaraは、Venture Café FukuokaのThursday Gathering hashtag#64にて素晴らしいイベントを開催しました！ We took the stage to talk about "Advanced Cryptographic Technology for Fintech," diving deep into
Thankful for the @BuildOnStellar community which supports meaningful projects for on-chain activities & the dev tools to help them stay secure!
Just published the Stellar Community Fund 2025 Impact Report: 154 projects awarded, 82 mainnet launches, $70M in external funding raised by SCF alumni. So proud of what the Stellar ecosystem,…
