cryticcrytic/slither/CLAUDE.md

slither

CLAUDE.md6.4k starsChanged 10 months agoAGPL-3.0View on GitHub

Static analyzer for Solidity smart contracts. Detects vulnerabilities, prints contract information, and provides an intermediate representation (SlithIR) for analysis. See CONTRIBUTING.md for detailed architecture and how to add detectors. Use…

We split this CLAUDE.md into the rules it gives an agent

23 rules. About 0 are common, 12 are distinctive, and 11 are very specific to this project.

≈0
Common · estimate
Many files like this have a rule of this kind.
≈12
Distinctive · estimate
This author's own choices. Worth a look.
11
Very specific
Tied to their project's names, files or tools. Probably skip.

Licensed with conditions — read it at the source. We count its rules but don't quote them. Read them on GitHub.

≈ “Common” is an estimate: at least 1 in 5 of the 25,680 CLAUDE.md files we read have a rule of the same kind, not the same words. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.

Jul 26, 2024Detector: Weak Randomness — Cyfrin/aderyn8 reactions · 4 comments
Jun 14, 2022Add `forge lint` — foundry-rs/foundry7 reactions · 9 comments
Sep 19, 2024challenges of working with the Solidity AST — NomicFoundation/slang5 reactions · 1 comment
Jun 19, 2024fix integration with echidna and medusa so that caching works — crytic/crytic-compile4 reactions · 2 comments
Jul 7, 2022Fix detection of node_modules/ in monorepos — crytic/crytic-compile4 reactions · 5 comments

45 more on GitHub

Dec 25, 2022Publish latest version please — crytic/crytic-compile3 reactions · 7 comments
Jul 4, 2022Locked funds :has payable function, but no withdrawal functionality. Therefore, the funds will be locked in contract. — code-423n4/2022-06-putty-findings3 reactions · 2 comments
Jun 24, 2020Json artifacts are not generated for top-level structures and enums. — ConsenSys-archive/truffle3 reactions · 4 comments
Sep 30, 2024[Feature Request] Call graph visualization in the tool chain — aptos-labs/aptos-core2 reactions · 2 comments
Aug 25, 2024Storage layout doesn't match — tokamak-network/tokamak-thanos2 reactions · 2 comments
Jun 16, 2021(re)Add support for ast only file — crytic/crytic-compile2 reactions · 2 comments
Nov 11, 2019Add support for 0x/solc-compiler — crytic/crytic-compile2 reactions
Jan 27, 2026slither-analyzer: 0.11.3 -> 0.11.5 — NixOS/nixpkgs1 reaction · 3 comments
Jan 13, 2026レビュー２回目 — kbizikav/zERC201 reaction
Oct 1, 2025Implement native security analysis framework with version tracking for easy upstream tool synchronization — avaloki108/BabaYaga1 reaction · 1 comment
Aug 11, 2025chore(cicd): fhevm slither support — zama-ai/fhevm1 reaction · 5 comments
Jul 21, 2025slither: `arbitrary-send-erc20-permit` — The-Poolz/contracts.daoStation1 reaction
Dec 20, 2024Add slither to ci for contract static analysis — lu-bann/taiyi1 reaction
Jun 20, 2024Support Slither, a new static analyzer for Solidity — zk-kit/zk-kit.solidity1 reaction · 3 comments
Apr 7, 2024bug(`compiler`): solc compiler input contains same file multiple times, making build artifacts unusable — foundry-rs/compilers1 reaction · 3 comments
Jul 4, 2023read only version of nonReentrant modifier — OpenZeppelin/openzeppelin-contracts1 reaction · 17 comments
Mar 14, 2023Add a trophies page — crytic/properties1 reaction · 2 comments
Feb 3, 2023Add support for multiple compilation units — a16z/halmos1 reaction · 4 comments
Jan 26, 2023Slither fixes for name-reused — mento-protocol/mento-core1 reaction
Jan 13, 2023BosonVouchers support to MetaTx — bosonprotocol/boson-protocol-contracts1 reaction · 2 comments
Dec 21, 2022feat(solc): create compilation unit for files that share solc version/ settings — gakonst/ethers-rs1 reaction · 9 comments
Oct 30, 2022Divide before multiply — code-423n4/2022-10-inverse-findings1 reaction · 3 comments
Oct 11, 2022`no-fail` CI option seems to conflict with config file `exclude_informational` — crytic/slither-action1 reaction · 2 comments
Sep 24, 2022Divide before multiply — code-423n4/2022-09-frax-findings1 reaction · 3 comments
Sep 21, 2022incorrect shift operation: randomSeed = keccak256(uint256,uint256)(0,32) % 1 << 64 — code-423n4/2022-09-artgobblers-findings1 reaction · 2 comments
Jul 27, 2022Store all binaries in https://github.com/crytic/solc — crytic/solc-select1 reaction · 3 comments
Jun 26, 2022Uninitialized local variables — code-423n4/2022-06-illuminate-findings1 reaction · 1 comment
Jun 26, 2022Uninitialized local variables — code-423n4/2022-06-illuminate-findings1 reaction · 2 comments
Jun 21, 2022Make action compatible with custom plugin system — crytic/slither-action1 reaction · 10 comments
Mar 24, 2022Slither Security Issues — homiesglobal/homiesglobal1 reaction
Aug 6, 2020Add saddle support — crytic/crytic-compile1 reaction · 1 comment
Oct 27, 2026build(deps): bump the python group with 2 updates — lidofinance/core0 reactions · 1 comment
Oct 17, 2026Bump crytic/slither-action from 0.4.0 to 0.4.2 — Surya512002/Base-analytics-app0 reactions · 1 comment
Oct 6, 2026chore(deps): Bump crytic/slither-action from 0.4.1 to 0.4.2 — gopaltalaviya/agentx-contracts0 reactions
Oct 5, 2026Bump crytic/slither-action from 0.4.1 to 0.4.2 — MrPrinceAli/himpun0 reactions · 1 comment
Oct 3, 2026build(deps): bump crytic/slither-action from 0.4.0 to 0.4.2 — b4its/qloot0 reactions
Oct 3, 2026chore(ci): bump crytic/slither-action from 0.4.0 to 0.4.2 — wowasoy/mvcatcoin0 reactions · 1 comment
Oct 1, 2026build(deps): bump crytic/slither-action from 0.4.1 to 0.4.2 — munazir17/MPGR-HUB0 reactions · 1 comment
Sep 4, 2026chore(deps): update crytic/slither-action action to v0.4.2 — africarare/Africarare-Contracts-Deprecated0 reactions
Sep 1, 2026chore(deps): bump the actions group with 2 updates — edycutjong/revoker0 reactions
Sep 1, 2026Bump crytic/slither-action from 0.4.0 to 0.4.2 — nanofaxcopy/test0 reactions · 1 comment
Aug 30, 2026ci(deps): bump crytic/slither-action from 0.4.1 to 0.4.2 — Ch-SriCharan/vlovkkk0 reactions · 1 comment
Aug 30, 2026build(deps): bump crytic/slither-action from 0.4.1 to 0.4.2 — tagore11/zugov-maci0 reactions
Aug 24, 2026ci(deps): bump crytic/slither-action from 0.4.1 to 0.4.2 — P-Shashe-Preetham/Block-chain0 reactions · 1 comment
Aug 18, 2026chore(deps): bump crytic/slither-action from 0.4.0 to 0.4.2 — lexchapoo/base-arb-bot0 reactions

On Hacker News · 1

Feb 10, 2022Slither – Solidity Source Analyzer3 points

On Stack Overflow · 1

Jan 18, 2022How to add python module to system path1 vote · 1 answer

Does it work?

Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.

No reviews yet

People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.

It worked
Partly
It didn't

What did you use it for? e.g. Reviewing pull requests in a Rails app

Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.

Your trail

Files you open will collect here, so you can find them again.

Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.

Now do this for your own.

Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

Check your setup, free