Stars
Language-agnostic core of the SpecTec mechanization framework (for eth2spec)
The Inescapable Auditor -- iterative deep-logic security audit agent for Claude Code
A minimal implementation of the Polynomial Commitments API for EIP-4844 and EIP-7594, written in C.
Your personal real time Ethereum validator watcher
Secure key generation for deposits
Web3Signer is an open-source signing service capable of signing for multiple platforms (Ethereum consensus and execution clients) using private keys stored in an external vault, or encrypted on a d…
Orchestrate AI agents to find real vulnerabilities in code.
A skill to stop your coding agent from burying the answer. ADHD-friendly output.
SpaceXAI's coding agent harness and TUI. Fullscreen, mouse interactive, extensible.
Ethereum clients diversity based on graffitis
This repository outlines standard remote signing application programming interface (APIs) for communication between remote signers and Ethereum validator clients. Remote signing service allows vali…
Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
Orca is the ADE for working with a fleet of parallel agents. Run any coding agent with your own subscription. Available on desktop, mobile and VPS.
LLM-as-a-Verifier is a general-purpose framework that provides fine-grained feedback for any agent without requiring additional training. It achieves SOTA performance across coding, robotics, and m…
'go test' runner with output optimized for humans, JUnit XML for CI integration, and a summary of the test results.
Docusaurus plugin for generating LLM-friendly documentation following the llmstxt.org standard
The Provable Consensus Client — a formally verified Ethereum consensus client built with Lean 4.
Common useful functions and rules for Bazel