I

Inferera

SCF FundedDeveloper ToolingJP

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

In the news

GitHub activity5 repositories

Similar projects

C

CertoraInfrastructure & Services

formal-verificationsecurityauditing

Formal verification tools and smart contract audits that identify vulnerabilities with mathematical certainty.

View →

G

Gecko FuzzDeveloper Tooling

SCF

formal-verificationsecurityai

Gecko uses formal verification and fuzzing guided by dataflow patterns and LLMs to audit smart contracts on-chain autonomously.

View →

K

KeizaiDeveloper Tooling

SCF

devxsecurity

Keizai is a postman-like Soroban contract testing platform.

View →

M

MultiCliqueDeveloper Tooling

SCF

devxsecuritymulti-signatures

A policy and workflow framwork for multisignature accounts.

View →

O

OpenZeppelinDeveloper Tooling

Audited

devxsecuritysdk

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

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 →