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. Promtact Promtact Public

   Test distributed protocols the way you test pure functions: seeded faults, invariants after every step, any failure replayed from its seed.

   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. promtact-site promtact-site Public

   Static, script-free website for Promtact, including its security, privacy, legal, and product documentation.

   HTML

5. curl curl Public

   Forked from curl/curl

   A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, MQTTS, POP3, POP3S, RTSP, SCP,…

   C

6. libssh2 libssh2 Public

   Forked from libssh2/libssh2

   the SSH library

   C