MCP server for searching and retrieving Solodit vulnerability reports.
☆40Jun 30, 2025Updated 8 months ago
Alternatives and similar repositories for search-solodit-mcp
Users that are interested in search-solodit-mcp are comparing it to the libraries listed below
Sorting:
- Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst a…☆11Sep 4, 2023Updated 2 years ago
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Dec 18, 2025Updated 2 months ago
- MCP server for searching Solodit smart contract security findings☆95Updated this week
- simple zk implementations in python☆34May 21, 2024Updated last year
- Pattern Interrupts to prevent you from signing malicious transactions☆32Jan 5, 2024Updated 2 years ago
- A utility to extract the issue links for a particular contest submitted by a particular user. Generates a markdown table with the issue l…☆39Sep 13, 2024Updated last year
- ☆39Apr 14, 2025Updated 10 months ago
- SC Audit Studio, also known as Smart Contract Audit Studio, is a powerful tool that serves as an all-in-one Integrated Development Envir…☆36Jan 23, 2024Updated 2 years ago
- Inspired by multichain-auditor, this list shows the difference of decimals positions between the original blockchain and others, only whe…☆30Dec 18, 2023Updated 2 years ago
- easy POC template generation from the command line☆77Aug 30, 2024Updated last year
- Primers for Specialist AI Smart Contract Auditors☆259Dec 16, 2025Updated 2 months ago
- Cryptozombies for Vyper: Learn Vyper by building games!☆36Oct 18, 2024Updated last year
- A curated list of awesome of the Foundry development framework.☆40Sep 20, 2023Updated 2 years ago
- ☆14May 1, 2025Updated 10 months ago
- SSH brute-forcing tool written in python☆14Feb 10, 2023Updated 3 years ago
- REBASE token contracts☆12Mar 1, 2021Updated 5 years ago
- Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.☆48Feb 25, 2026Updated last week
- Download sources of deployed contracts from etherscan☆90Oct 19, 2025Updated 4 months ago
- A ratatui based vertical and horizontal slider.☆37Feb 26, 2026Updated last week
- ☆10Nov 29, 2023Updated 2 years ago
- ☆12Aug 21, 2024Updated last year
- Smart contracts to handle on-chain multi-hash for content validation☆13Jul 19, 2021Updated 4 years ago
- ☆10Jun 14, 2024Updated last year
- ☆10Jul 27, 2023Updated 2 years ago
- ☆12Apr 25, 2024Updated last year
- Пустой проект расширения хром☆11Mar 26, 2017Updated 8 years ago
- ☆11Feb 1, 2024Updated 2 years ago
- ☆10May 17, 2024Updated last year
- Minimalistic port-spoofer written in Python☆11Jan 9, 2025Updated last year
- ☆12Sep 16, 2025Updated 5 months ago
- Smart contracts of the Ultimate Synthetic Delta Neutral☆11Jan 26, 2026Updated last month
- ☆11Mar 18, 2024Updated last year
- The Ethereum Canvas☆10Oct 19, 2017Updated 8 years ago
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- 🎩🪄 Easily deal any amount of any ERC20 tokens to any account on the hardhat network☆11Jan 21, 2025Updated last year
- ☆13Nov 14, 2024Updated last year
- AST interpreter for Vyper with a custom EVM backend☆10Updated this week
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆88Dec 2, 2025Updated 3 months ago