Popular repositories Loading

1. litmus litmus Public

   Reproducible benchmark for smart-contract security tools, measuring precision, recall, and false positives against executable PoCs and versioned ground truth.

   Solidity

2. HYPERION-DST HYPERION-DST Public

   Deterministic, crash-safe Raft reference implementation with io_uring/O_DIRECT storage, eBPF fault injection, DST, Jepsen/Knossos, and bounded TLA+ verification.

   Go

3. Openclaw-Atlas Openclaw-Atlas Public

   Deterministic evaluation harness for tool-using AI agents: canonical traces, fault injection, policy scoring, and evidence with negative controls.

   Python

4. foundry-invariant-starter foundry-invariant-starter Public

   A minimal, complete, commented example of invariant testing in Foundry. Copy it and start in an hour.

   Solidity

5. foundry-invariant-init foundry-invariant-init Public

   Scaffold a Foundry invariant test suite for any Solidity contract in one command. Parses with Slither, generates the handler and the wired invariant test.

   Python

6. Promtact Promtact Public

   Go