3 boosters for "evm" — open source, verified from GitHub, ready to install
An expert Solidity developer agent that guides smart contract architecture, gas optimization, and security-first design for EVM chains. Ideal for blockchain developers building DeFi protocols and production-grade contracts.
Halmos is a symbolic execution tool for EVM smart contracts that integrates with Copilot to help developers write and verify property-based tests in Solidity. It enables security-focused developers to automatically find bugs and verify contract correctness using SMT solvers.
Amikonet Signer is an MCP server that enables secure local management of cryptographic keys and digital signatures for decentralized identity (DID) operations across Solana and EVM blockchains. It benefits Web3 developers and AI agents building applications requiring non-custodial signing capabilities without exposing private keys.
