Pinned Loading

1. stx-labs/rendezvous stx-labs/rendezvous Public

   Clarity fuzzer designed to cut through your smart contract's defenses with precision.

   TypeScript 23 14

2. stacks-network/madhouse-rs stacks-network/madhouse-rs Public

   Model-based Rust state machine testing. Inspired by Hughes, Testing the Hard Stuff and Staying Sane.

   Rust 3 1

3. stacks-network/hacknet stacks-network/hacknet Public

   Stacks blockchain hacknet for testing several peered nodes in a controlled environment

   TypeScript 3 11

4. protocol-security/swarm-core protocol-security/swarm-core Public

   N coding agents in Docker, coordinating through git.

   Shell 8 7

5. crytic/echidna crytic/echidna Public

   Ethereum smart contract fuzzer

   Haskell 3.2k 437