Wallets, exchanges, on-ramps, infrastructure, oracles, indexers, dev tools — curated from public registries, grant programs, and the Lumen Loop newsroom.
Almanax is an automated security auditor that leverages AI to find and fix vulnerabilities in smart contracts.
The AnChain.AI Catalog is an open-source catalog of audited smart contracts designed to help companies build web3 projects faster.
AI co-pilot for smart contract security, providing automated vulnerability detection, risk modeling, and audit delivery across d…
Calimero Network is an innovative framework for building Self-Sovereign Application protocols and private data sharing.
Building Stellar chain support to CertiK's Skynet for community security and SkyInsights for compliance/risk monitoring.
Extractor is a Post Deployment security solution that provides multi-level asset protection in smart contracts against exploitat…
Confidential transaction infrastructure for Stellar, enabling compliant private transfers and sealed-bid auctions using threshol…
Proof of Concept implementation of FROST, a threshold signature scheme based on the Schnorr signature, using the WebRTC protocol.
Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.
Market leader in hack prevention and real time monitoring detecting and preventing attacks on smart contracts before they happen.
Domain-specific formal specification language for Soroban smart contracts, enabling verifiable correctness proofs and automated …
The JS-Capacitor Passkey Kit helps JavaScript developers to implement Soroban Smart Wallets by providing access to native passke…
Keizai is a postman-like Soroban contract testing platform.
Mimoto uses ZK proofs for swift, secure identity verification in payments, protecting user privacy and financial safety.
A policy and workflow framwork for multisignature accounts.
OtterSec is a blockchain security firm specializing in comprehensive audits to protect blockchain projects across multiple netwo…
Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.
Lib Sanctum ZK+MPC tech enables smart contracts to compute on secret state, thus bringing privacy to the Stellar apps.
A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).
CoinFabrik is a blockchain security and development company that has developed Scout, an open-source tool designed to assist Sor…
Simbolik is a comprehensive Solidity debugging and development toolkit for Ethereum that brings professional-grade debugging cap…
Runtime monitoring of Soroban smart contracts to aid developers and auditors in finding critical bugs before and in production.
AI assistant for Soroban Q&A, smart-contract code writing & rigorous testing to elevate your smart-contract projects.
Soroban Security Portal is a go-to hub for all things secure in the world of Soroban - Soroban's smart contract platform. Think …
SoroBuilder is an AI-driven, browser-based environment designed to streamline Soroban smart contract development. It builds full…
Stellar authentication and transaction management SDK for app developers.
Teken’s mission: an easy-to-use multi-signature app for Stellar, enhancing security and collaboration via Soroban smart contracts.
