LyuboslavLyubenov / search-solodit-mcpView external linksLinks
MCP server for searching and retrieving Solodit vulnerability reports.
☆39Jun 30, 2025Updated 7 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 last month
- 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
- 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
- ☆37Apr 14, 2025Updated 10 months ago
- Primers for Specialist AI Smart Contract Auditors☆256Dec 16, 2025Updated 2 months ago
- easy POC template generation from the command line☆78Aug 30, 2024Updated last year
- 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 9 months ago
- REBASE token contracts☆12Mar 1, 2021Updated 4 years ago
- A ratatui based vertical and horizontal slider.☆35Jan 7, 2026Updated last month
- SSH brute-forcing tool written in python☆15Feb 10, 2023Updated 3 years ago
- Solidity Invariant Testing Starter Repo, write Foundry Tests, run Echidna, Medusa and Halmos.☆48Updated this week
- Download sources of deployed contracts from etherscan☆90Oct 19, 2025Updated 3 months ago
- ☆10May 17, 2024Updated last year
- 🎩🪄 Easily deal any amount of any ERC20 tokens to any account on the hardhat network☆11Jan 21, 2025Updated last year
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- ☆10Jul 27, 2023Updated 2 years ago
- Solidity/EVM smart contract security auditor — 104 vulnerability patterns, 8 tools, 100% CTF benchmark☆36Updated this week
- ☆11Mar 18, 2024Updated last year
- ☆13Nov 14, 2024Updated last year
- Minimalistic port-spoofer written in Python☆11Jan 9, 2025Updated last year
- ☆12Apr 25, 2024Updated last year
- ☆12Aug 21, 2024Updated last year
- AST interpreter for Vyper with a custom EVM backend☆10Updated this week
- ☆12Sep 16, 2025Updated 5 months ago
- The Ethereum Canvas☆10Oct 19, 2017Updated 8 years ago
- Smart contracts of the Ultimate Synthetic Delta Neutral☆11Jan 26, 2026Updated 3 weeks ago
- ☆10Nov 29, 2023Updated 2 years ago
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- End-To-End Data Engineering Project. Made to learn some common data engineering practices.☆17Updated this week
- ☆11Feb 1, 2024Updated 2 years ago
- Smart contracts to handle on-chain multi-hash for content validation☆13Jul 19, 2021Updated 4 years ago
- ☆10Jun 14, 2024Updated last year
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆88Dec 2, 2025Updated 2 months ago