Toolbox
RPCs
Subgraphs
Load Balancer
Contributor
Providers
EAS
ToolboxRPCsSubgraphsLoad BalancerContributorProvidersEASOthers
Providers/Recon
Refreshing provider data...
Recon

Recon

Smart contract security team specializing in invariant testing, security audits, property-based testing, and cloud fuzzing for Solidity and EVM projects.

DashboardExploreDiscordLinkedInX

Services

Security (1)

View options

Tag

["Smart Contract Security", "Property-Based Testing", "Invariant Testing", "Solidity"]

Description

Open-source property-based testing framework that lets the same Solidity invariant tests run across Foundry, Echidna, Medusa, and Halmos.

Plan Type

Free
chain.love

chain.love

LinkedInXTelegramGitHub
DocumentationWhitepaper

©2024-2026 CHAIN.LOVE