Solidity Security
CheckedAnalyzes Solidity smart contracts for vulnerabilities like reentrancy, overflows, and access control issues using rmyndharis's expertise.
Install on your platform
Showing Claude Code. One command installs this skill into any of the agents below.
- 1
Run this in your project
terminal$ npx skills add rmyndharis/antigravity-skills --skill solidity-security -a claude-code Uses the open-source
skillsCLI and needs Node.js. Add-gto install it for your user instead of this project.
What we know about this skill
Publisher
rmyndharis
Taken from the source listing. We haven't verified who controls this account.
Install target
Live repository
Not pinned. Installing fetches whatever the repository holds at the time you run the command.
Automated safety checks
This skill passed all 6 checks. We read its files at one commit and looked for the things that make a skill dangerous to run — not for whether it works.
Declares what it does: passed
SKILL.md parses and declares a name and a description.
SKILL.md exists, its frontmatter parses, and it declares a name and a description.
No undeclared network calls: passed
Makes no network calls.
Every host the skill dials — from its scripts, its config endpoints or the commands it tells the agent to run — is either well-known package and API infrastructure or declared in its own frontmatter. Links in documentation are not counted.
No obfuscated payloads: passed
No encoded or obfuscated payloads.
No base64, hex or compressed blob is decoded and then executed, and no encoded shell commands.
No credential access: passed
Reads no keys, tokens, keychains or credential files.
Neither the code nor the SKILL.md instructions read SSH keys, cloud credentials, keychains, token stores, browser cookie databases or dotfiles that hold secrets.
No pipe-to-shell installers: passed
No pipe-to-shell or download-and-run installers.
No `curl … | sh` pattern, in the code or in the instructions, that runs code fetched at run time.
Pinned to a commit: passed
Scanned rmyndharis/antigravity-skills at 3eff4af253.
The exact upstream commit SHA that was scanned is recorded, so the result refers to specific bytes.
- Commit
- 3eff4af253
- Scanned
- 2 files, 518 lines
About this skill
What it does
This skill analyzes Solidity smart contract code to identify potential security vulnerabilities. It provides insights into common attack vectors such as reentrancy, integer overflows, and denial of service risks. The skill aims to improve the overall robustness and safety of deployed smart contracts by proactively identifying weaknesses.
When to use it
- Auditing new smart contracts: Before deploying a contract to mainnet, assess its security posture.
- Reviewing existing codebases: Identify potential vulnerabilities in legacy or open-source Solidity projects.
- Security training and education: Use the skill to demonstrate common attack patterns and best practices for secure coding.
- Automated vulnerability scanning: Integrate into CI/CD pipelines for continuous security checks.
Key capabilities
- Reentrancy detection
- Integer overflow/underflow analysis
- Denial of Service (DoS) risk assessment
- Identification of common Solidity vulnerabilities
Example prompts
- "Analyze this Solidity code for potential reentrancy attacks: [paste code]"
- "What are the possible integer overflow vulnerabilities in this smart contract? [paste code]"
- "Can you identify any Denial of Service risks within this contract's logic? [paste code]"
Tips & gotchas
The skill’s effectiveness depends on the quality and completeness of the provided Solidity code. It is not a substitute for comprehensive security audits performed by human experts.