Solidity Vulnerability Scanner
alt-research2/SolidityGuard
Comprehensive Solidity contract security scanner detecting 104 vulnerability patterns across reentrancy, access control, arithmetic, DeFi, proxy, and token categories.
Security-focused Solidity development patterns. An agent skill from ccashwell/evm-cortex.
$ npx skills add ccashwell/evm-cortex --skill solidity-security -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install ccashwell/evm-cortex solidity-security --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/ccashwell/evm-cortex.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/solidity-security .claude/skills/solidity-security && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "solidity-security" agent skill from https://github.com/ccashwell/evm-cortex/tree/main/skills/solidity-security into .claude/skills/solidity-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "solidity-security", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/ccashwell/evm-cortex/tree/main/skills/solidity-securityType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add ccashwell/evm-cortex --skill solidity-security -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install ccashwell/evm-cortex solidity-security --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ccashwell/evm-cortex.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/solidity-security .agents/skills/solidity-security && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "solidity-security" agent skill from https://github.com/ccashwell/evm-cortex/tree/main/skills/solidity-security into .agents/skills/solidity-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "solidity-security", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add ccashwell/evm-cortex --skill solidity-security -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install ccashwell/evm-cortex solidity-security --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ccashwell/evm-cortex.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/solidity-security .cursor/skills/solidity-security && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "solidity-security" agent skill from https://github.com/ccashwell/evm-cortex/tree/main/skills/solidity-security into .cursor/skills/solidity-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "solidity-security", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/ccashwell/evm-cortex.git --path skills/solidity-security--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add ccashwell/evm-cortex --skill solidity-security -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install ccashwell/evm-cortex solidity-security --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ccashwell/evm-cortex.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/solidity-security .gemini/skills/solidity-security && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "solidity-security" agent skill from https://github.com/ccashwell/evm-cortex/tree/main/skills/solidity-security into .gemini/skills/solidity-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "solidity-security", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install ccashwell/evm-cortex solidity-securityInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add ccashwell/evm-cortex --skill solidity-security -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/ccashwell/evm-cortex.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/solidity-security .github/skills/solidity-security && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "solidity-security" agent skill from https://github.com/ccashwell/evm-cortex/tree/main/skills/solidity-security into .github/skills/solidity-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "solidity-security", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add ccashwell/evm-cortex --skill solidity-security -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install ccashwell/evm-cortex solidity-security --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ccashwell/evm-cortex.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/solidity-security .opencode/skills/solidity-security && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "solidity-security" agent skill from https://github.com/ccashwell/evm-cortex/tree/main/skills/solidity-security into .opencode/skills/solidity-security/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "solidity-security", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
solidity-securitySecurity-focused Solidity development patterns. An agent skill from ccashwell/evm-cortex.
Solidity Security is an agent skill from ccashwell/evm-cortex. Security-focused Solidity development patterns. Use when writing contracts that handle funds, interact with external tokens, or accept user input. Covers reentrancy guards, SafeERC20, access control, input validation, integer safety, and safe external calls.
Its SKILL.md is about 1.5k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
It sits in Backend & APIs, covering Smart contract auditing, Authorization and RBAC and Smart contracts. It works with Solidity. The repository describes itself as: Ethereum protocol engineering squad for AI coding assistants. The licence is MIT.
Read from SKILL.md and the folder at commit f8f3301. It shows what the files ask for, not the result of running them.
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
No scripts in the folder and no shell commands in SKILL.md (its code samples are solidity).
From the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Solidity Security loads about 1.5k tokens when it runs. Until then it costs about 69 tokens; SKILL.md has 190 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
The full file from ccashwell/evm-cortex at commit f8f3301, republished under its MIT licence (© ccashwell). 190 words, ~1,473 tokens.
.claude/skills/solidity-security/SKILL.md (or your agent's skills folder).Always use ReentrancyGuard on functions with external interactions, even when following CEI.
import {ReentrancyGuard} from "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
contract Vault is ReentrancyGuard {
mapping(address => uint256) public balances;
function withdraw(uint256 amount) external nonReentrant {
if (balances[msg.sender] < amount) revert InsufficientBalance();
balances[msg.sender] -= amount;
(bool success,) = msg.sender.call{value: amount}("");
if (!success) revert TransferFailed();
}
}Token contracts are not standardized in practice. USDT does not return a bool on transfer. USDC uses 6 decimals (not 18). Some tokens have fee-on-transfer. Always use SafeERC20.
import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
contract TokenVault {
using SafeERC20 for IERC20;
function deposit(IERC20 token, uint256 amount) external {
// SafeERC20 handles non-standard return values
token.safeTransferFrom(msg.sender, address(this), amount);
}
function withdraw(IERC20 token, uint256 amount) external {
token.safeTransfer(msg.sender, amount);
}
function approveSpender(IERC20 token, address spender, uint256 amount) external {
// forceApprove handles tokens requiring approval reset to 0 first (USDT)
token.forceApprove(spender, amount);
}
}// WRONG: assuming 18 decimals
uint256 oneToken = 1e18;
// RIGHT: query decimals
uint8 decimals = IERC20Metadata(address(token)).decimals();
uint256 oneToken = 10 ** decimals;
// Common decimals:
// USDC: 6 decimals (1 USDC = 1e6)
// USDT: 6 decimals (1 USDT = 1e6)
// WBTC: 8 decimals (1 WBTC = 1e8)
// DAI: 18 decimals (1 DAI = 1e18)
// WETH: 18 decimals (1 WETH = 1e18)Use Ownable2Step over Ownable to prevent accidental ownership transfer to a wrong address.
import {Ownable2Step, Ownable} from "@openzeppelin/contracts/access/Ownable2Step.sol";
contract Protocol is Ownable2Step {
constructor(address initialOwner) Ownable(initialOwner) {}
function emergencyPause() external onlyOwner {
_pause();
}
}For multi-role systems, use AccessControl:
bytes32 public constant PAUSER_ROLE = keccak256("PAUSER_ROLE");
bytes32 public constant MINTER_ROLE = keccak256("MINTER_ROLE");
function pause() external onlyRole(PAUSER_ROLE) {
_pause();
}Validate everything at system boundaries. Trust nothing from external callers.
error ZeroAddress();
error ZeroAmount();
error InvalidBps(uint256 bps);
error ArrayLengthMismatch();
error ExceedsMaximum(uint256 value, uint256 maximum);
function setFee(uint256 feeBps) external onlyOwner {
if (feeBps > 10_000) revert InvalidBps(feeBps);
fee = feeBps;
}
function batchTransfer(address[] calldata recipients, uint256[] calldata amounts) external {
if (recipients.length != amounts.length) revert ArrayLengthMismatch();
if (recipients.length == 0) revert ZeroAmount();
for (uint256 i; i < recipients.length; ++i) {
if (recipients[i] == address(0)) revert ZeroAddress();
if (amounts[i] == 0) revert ZeroAmount();
_transfer(recipients[i], amounts[i]);
}
}Never trust return data from arbitrary external calls.
function safeCall(address target, bytes calldata data)
external
returns (bytes memory)
{
if (target.code.length == 0) revert NotAContract(target);
(bool success, bytes memory returndata) = target.call(data);
if (!success) {
// Bubble up the revert reason
if (returndata.length > 0) {
assembly {
revert(add(returndata, 0x20), mload(returndata))
}
}
revert CallFailed(target);
}
return returndata;
}// BAD: transfer() has 2300 gas stipend, can break with EIP-1884
payable(recipient).transfer(amount);
// BAD: send() silently fails
payable(recipient).send(amount);
// GOOD: low-level call with success check
(bool success,) = recipient.call{value: amount}("");
if (!success) revert ETHTransferFailed();Contracts can receive ETH via selfdestruct even without receive(). Never rely on address(this).balance for accounting.
// BAD: relies on contract balance
function totalDeposits() external view returns (uint256) {
return address(this).balance;
}
// GOOD: track deposits explicitly
uint256 public totalDeposited;
function deposit() external payable {
totalDeposited += msg.value;
}forceApprove instead of approve for USDT compatibilityOwnable2Step over Ownablecall{} instead of transfer()/send() for ETHaddress(this).balance)tx.origin for auth© ccashwell, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Just SKILL.md in skills/solidity-security of ccashwell/evm-cortex.
Open the folder on GitHubat commit f8f3301
Solidity Security next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Solidity Security this skillccashwell/evm-cortex | 131 | — | ~1.5k | Automated safety check: Pass | MIT | |
| Solidity Vulnerability Scanneralt-research2/SolidityGuard | 104 | — | ~1.6k | Automated safety check: Notes | Custom licence | |
| Smart Contract Auditelophanto/EloPhanto | 106 | — | ~2.7k | Automated safety check: Pass | Custom licence | |
| Fizz Convertpashov/skills | 1.2k | 2 repos | ~3.7k | Automated safety check: Pass | MIT | |
| Smart Contract Auditgreatpie/smart-contract-audit-skill | 101 | — | ~1.1k | Automated safety check: Pass | None | |
| Solidity AuditorGabson0x/bountyforge | 443 | — | ~3.7k | Automated safety check: Pass | None |
alt-research2/SolidityGuard
Comprehensive Solidity contract security scanner detecting 104 vulnerability patterns across reentrancy, access control, arithmetic, DeFi, proxy, and token categories.
elophanto/EloPhanto
A skill your agent uses when reviewing a Solidity, Vyper, or Rust (Solana/Anchor) smart contract for paid audit work or pre-launch sanity check.
pashov/skills
Convert English-language properties in PROPERTIES.md (produced by the Fizz skill) into Solidity assertions inside the existing fuzz harness, then flip their checkboxes.
greatpie/smart-contract-audit-skill
Script-backed, out-of-box auditing workflow for Solidity/EVM repositories based on EVMbench detect/patch/exploit methodology.
Gabson0x/bountyforge
Security audit of Solidity code while you develop. An agent skill from Gabson0x/bountyforge.
pashov/skills
Security audit of Solidity code while you develop. An agent skill from pashov/skills.
ccashwell/evm-cortex
A skill your agent uses when preparing for a security audit, performing reconnaissance on a new codebase, or creating a protocol overview.
ccashwell/evm-cortex
A skill your agent uses when integrating with Aave V3 for lending, borrowing, flash loans, or building on top of Aave markets.
ccashwell/evm-cortex
Access control design patterns for Solidity protocols. An agent skill from ccashwell/evm-cortex.
ccashwell/evm-cortex
A skill your agent uses when running a local Ethereum node with Anvil.
ccashwell/evm-cortex
A skill your agent uses when performing systematic breadth-first review of all contracts during a security audit.
ccashwell/evm-cortex
A skill your agent uses when performing deep analysis of specific findings or high-risk areas during a security audit.
Works with
Categories
Security-focused Solidity development patterns. An agent skill from ccashwell/evm-cortex. Solidity Security is an agent skill from ccashwell/evm-cortex. Security-focused Solidity development patterns.
Solidity Security fits situations like: writing contracts that handle funds; interact with external tokens; accept user input.
Run `npx skills add ccashwell/evm-cortex --skill solidity-security -a claude-code`. Or copy the skill folder (skills/solidity-security in ccashwell/evm-cortex) into .claude/skills/solidity-security in your project. Claude Code loads it when a task matches its description.
Run `npx skills add ccashwell/evm-cortex --skill solidity-security -a codex`. Or copy the skill folder (skills/solidity-security in ccashwell/evm-cortex) into .agents/skills/solidity-security in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add ccashwell/evm-cortex --skill solidity-security -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/solidity-security, .gemini/skills/solidity-security, .github/skills/solidity-security and .opencode/skills/solidity-security in your project.
SKILL.md names no scripts, command-line tools or credentials: Solidity Security is instructions for the agent only.
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
Solidity Security is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 1.5k tokens (SKILL.md is roughly 5.9k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
Skills that share tags, products or a category with Solidity Security: Solidity Vulnerability Scanner (alt-research2/SolidityGuard, 104 stars), Smart Contract Audit (elophanto/EloPhanto, 106 stars), Fizz Convert (pashov/skills, 1.2k stars) and Smart Contract Audit (greatpie/smart-contract-audit-skill, 101 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
ccashwell (a GitHub user) maintains it in ccashwell/evm-cortex, which has 131 GitHub stars. The repository holds 89 skills in this directory. The repository was last updated on September 30, 2026.
Source: ccashwell/evm-cortex on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.