Stars
Lossless storage and search for AI agent sessions, across every agentic client.
SPHINCS- variants are optimised versions of SLH-DSA (SPHINCS+). They optimise for signer load and cheap EVM verification.
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Interact with the Safe API from Foundry scripts
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
Executable formal model of the EVM and Yul in Lean 4.
Formal specification and verification of Vyper
Sandboxed devcontainer for running Claude Code in bypass mode safely. Built for security audits and untrusted code review.
Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits
A Claude Code skill that scans Solidity codebases for security vulnerabilities by referencing 36 unique vulnerability types
A collection of smart contract vulnerabilities along with prevention methods
Compete to build the most profitable AMM
This repository consists of Source Code for Model Context Protocol (MCP) Pilot Project being undertaken by Ministry of Statistics and Programme Implementation and source code for the same is being …
Lightweight Ethereum history node — syncs headers, receipts & logs from P2P, serves eth_getLogs RPC. No EVM, no state trie. Full mainnet in ~6h.
Trail of Bits skills for security research, vulnerability detection, and audit workflows
Smart contracts for Ekubo Protocol on EVM blockchains
🦄 Smart contracts for Uniswap protocol fees 🦄
IsoCity: City building simulation game.
Convert Ethereum addresses to memorable 4-word mnemonics for easy verification