PraneshASP / foundry-mcp-serverLinks
An experimental MCP Server for foundry built for Solidity devs
☆124Updated last month
Alternatives and similar repositories for foundry-mcp-server
Users that are interested in foundry-mcp-server are comparing it to the libraries listed below
Sorting:
- Generate invariants for Foundry projects with LLM☆98Updated 9 months ago
- Most simple design of a stablecoin.☆60Updated 6 months ago
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆45Updated 7 months ago
- A forkable template repo for easily writing and testing toy contracts☆149Updated last year
- Efficient Type Driven Smart Contract Interactions☆109Updated last year
- Simulate cross-chain protocols txs, easily.☆147Updated last month
- Pre-built security properties for commonly forked DeFi protocols☆197Updated last year
- 👃Automatically identify missing or incomplete natspec☆93Updated this week
- A Solidity code search tool with built-in static analysis detection☆74Updated 10 months ago
- ☆165Updated last year
- ☆194Updated last year
- Blockchain automation library, and SDK for the Silverback Platform☆114Updated 2 weeks ago
- All your EVM tools in one place!☆150Updated this week
- ERC4626 Property Tests☆180Updated 4 months ago
- Diff EVM-compatible chains in a friendly format☆284Updated 3 months ago
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆77Updated last year
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆104Updated 2 years ago
- The best smart contracts in one place.☆100Updated 5 months ago
- Security Reviews and Audit Checklists☆121Updated 3 months ago
- ☆127Updated 3 weeks ago
- ☆74Updated 4 months ago
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆152Updated this week
- Zero-to-One Solidity with Simplicity-first.☆170Updated 2 months ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆66Updated 5 months ago
- Smart Contract Property-Based Testing Framework☆113Updated 2 months ago
- ☆158Updated last week
- Database of public audits made by ABDK Consulting☆79Updated last month
- A simple template to perform whitehacks safely☆178Updated last year
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆119Updated last year
- A modern framework for creating EIP2535 Diamonds 💎☆87Updated 9 months ago