0xethsign
Follow
Stars
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Two conversational AI agents switching from English to sound-level protocol after confirming they are both AI agents
Allows to easily create tx to be signed through CLI and submitted on a Safe
Bundler3 allows accounts to batch-execute a sequence of arbitrary calls atomically. It carries specific features to be able to perform actions that require authorizations, and handle callbacks.
Solidity contract and typescript library for static multi-calls
A transparent, highly scalable and cryptographically verifiable data store.
npm for design engineers: largest marketplace of shadcn/ui-based React Tailwind components, blocks and hooks
Temper your expectations - Ethereum Transaction Simulator
Open, flexible, and composable framework for transferring tokens across blockchains without liquidity pools
Thread-safe implementation of revm DB that directly fetch data from Reth DB
Storage proofs for data streaming between networks (e.g. scrvUSD price)
Fine-tuning GPT for Smart Contract Auditing
The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many mo…
A playground for the Ethereum Vault Connector (EVC)