Tag
#slither
34 repositories
Repos
MCP server for Slither static analysis of Solidity smart contracts
Dataset containing source code and deployed bytecode for Solidity Smart Contracts that have been verified on Etherscan.io, along with a classification of their vulnerabilities according to the Slither static analysis framework.
Solving CTF with Foundry, Slither, Echidna, and Manticore.
A collection of resources, best practices, and tools for improving the security of smart contracts.
Open and free agent-based smart contract auditing system based on multiple open source community maintained pipelines
Hands-on tutorial on how to conduct a smart contract audit using Slither and Foundry
An advanced Solidity Static Analyser tool designed to identify vulnerabilities in Ethereum smart contracts. Developed during a summer internship at Brunel University.
A collection of NFT mutant robots with their frontend and marketplace. Robots can be modified and create new robots from their parts. Over 999 trillion combinations of different robots available!
🎨 NFT Staking Platform - Mint NFTs freely or with tokens, stake them for rewards. Features ERC721 collection, custom ERC20 token, and secure staking mechanics on Sepolia.
AI-powered smart contract security agent that scans Solidity code for vulnerabilities like reentrancy, overflow, and access control issues. Integrates with Slither and Mythril for static analysis, then uses LLMs to explain findings and suggest fixes. Built with Python, LangChain, and Web3 tools.
Web3 launchkit: Foundry ERC20 factory, taxed token, router split, vesting vault, tests, CI, evidence packs.
This project implements a basic voting DAO smart contract for research purposes to understand its inner workings. This is by no means a complete implementation. It also includes an ERC-20 contract to be used as a DAO governance token.
Event project from ETHDam 2024 predicting ERC-20 success from Slither-extracted contract features.
Three-contract marketplace system in Solidity / Foundry - accounting invariants verified by handler-based fuzz, MarketPlace with BPS fees / VIP tiers / promo codes / pull payments, Slither in workflow.
Security audit checklist and automated scanner for common Solidity vulnerabilities before mainnet deploy
Benchmark suite for smart contract vulnerability detection tools across 7 categories: static analysis, symbolic execution, fuzzing, formal verification, ML/DL, LLM agents, and hybrid. Evaluates Slither, Mythril, GPTScan & more on accuracy, coverage, and scalability. Supports review paper.
An audit of Smart contract with a small vulnerability report.
A Python-based tool for downloading Solidity smart contracts from blockchain explorers (Etherscan, BscScan, PolygonScan, Arbiscan) and performing automated vulnerability analysis using Slither.
This audit report highlights the overall security of the Smart Contract. With this report, I have tried to ensure the reliability of the smart contract by completing the assessment of smart contract codebase.
FastAPI backend for the Smart Contract Vulnerability Scanner. Provides /api/scan and related endpoints, runs static analysis (Slither) on Solidity contracts, returns dashboard-ready JSON (vulnerabilities, metrics, risk and comparative data). Deployed on Railway.
Template for smart contracts development with Solidity and Foundry
CTF challenge writeups focused on blockchain and smart contract security
ContractScan GitHub Action — Scan Solidity contracts for vulnerabilities in CI/CD
Converter modular untuk mengubah hasil audit Mythril / Slither menjadi format standar STC Analytics
Assignment 2 for Penetration Testing — Advanced Blockchain Security assessment of the UnstoppableVault smart contract (Damn Vulnerable DeFi v4) using Slither, Foundry, Mythril, Manticore, and Echidna. 48 vulnerabilities identified including 2 HIGH severity findings (arbitrary transferFrom & controlled delegatecall).