MCP server for searching and retrieving Solodit vulnerability reports.
☆41Jun 30, 2025Updated 11 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Zorya: Automated Concolic Execution Engine optimized for Go Binaries analysis, using Ghidra's P-Code as IR, and written in Rust.☆46Updated this week
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆94Dec 2, 2025Updated 6 months ago
- Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.☆18Dec 18, 2025Updated 6 months ago
- A comprehensive collection of clustered smart contract vulnerabilities discovered through security audits, organized by severity and freq…☆40Mar 10, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- MCP server for searching Solodit smart contract security findings☆147Apr 23, 2026Updated last month
- Resources to stay up to date with Move language security.☆71Jan 8, 2026Updated 5 months ago
- ☆13Oct 30, 2025Updated 7 months ago
- Extremely Fast Contract Defect Detectors☆13Oct 24, 2023Updated 2 years ago
- Primers for Specialist AI Smart Contract Auditors☆267Dec 16, 2025Updated 6 months ago
- 《万界道友》是一款以 AIGC 驱动、高自由度文字体验、修仙世界观为核心的开源游戏。在这里，你将以普通修士之身，借功法、灵根、神通、法宝与奇遇，一步步推演自己的修行之路。☆64Updated this week
- A highly flexible AI Agent-driven EVM smart contract vulnerability detection framework☆70Feb 14, 2026Updated 4 months ago
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆64Jul 9, 2025Updated 11 months ago
- Download sources of deployed contracts from etherscan☆92Oct 19, 2025Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MyGymWorld is an easy-to-use platform where people can socialize and find the perfect gym for them ( join gyms, read articles, join event…☆12Feb 7, 2024Updated 2 years ago
- An evolving set of solana ctf challenges and vulnerabilties☆15Jun 4, 2025Updated last year
- ☆39Apr 14, 2025Updated last year
- A blazingly fast linter for NatSpec comments in Solidity code. Mirror available on Codeberg.☆30May 11, 2026Updated last month
- DeFi CLI for AI Agents☆56Updated this week
- easy POC template generation from the command line☆78Aug 30, 2024Updated last year
- Indexing three datasets for GPTScan☆65Jun 11, 2024Updated 2 years ago
- Call graph-based analysis tools for Solidity smart contracts. Visualize contract interactions, generate Foundry tests, analyze storage p…☆32Oct 4, 2025Updated 8 months ago
- Pattern Interrupts to prevent you from signing malicious transactions☆33Jan 5, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆68Feb 4, 2026Updated 4 months ago
- ☆12Mar 27, 2026Updated 2 months ago
- ☆14Jun 18, 2020Updated 6 years ago
- simple zk implementations in python☆32May 21, 2024Updated 2 years ago
- D2PFuzz, Fuzzer tool for analyze devp2p protocol☆20Oct 19, 2025Updated 8 months ago
- A security checklist for novel ERC4626 safety☆26Feb 11, 2024Updated 2 years ago
- Solidity/EVM smart contract security auditor — 104 vulnerability patterns, 8 tools, 100% CTF + EVMBench benchmark (120/120)☆97Updated this week
- One-stop yield farming platform on TON blockchain☆18May 21, 2024Updated 2 years ago
- Chrome based DID wallet for Ceramic Network | ETHOnline Winner☆11Nov 21, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆76Apr 16, 2024Updated 2 years ago
- An efficient constant gas function dispatch pattern for solidity external libraries.☆15Sep 1, 2023Updated 2 years ago
- EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode☆37Jun 12, 2026Updated last week
- ☆12Nov 3, 2024Updated last year
- Bastet is a comprehensive dataset of common smart contract vulnerabilities in DeFi along with an AI-driven automated detection process to…☆119Apr 28, 2026Updated last month
- UlamAI is an open-source Lean theorem prover and formalizer.☆146Mar 27, 2026Updated 2 months ago
- Foundry Test Suit to test weird ERC20 behavior☆234Mar 23, 2023Updated 3 years ago