Back to skill

Security audit

smart-contract-security-audito

Security checks for vulnerabilities and agentic risk

Overview

This is a documentation-only smart contract auditing skill that reviews user-specified contract files and optionally helps generate tests, with no hidden execution or persistence.

Before installing, understand that this skill may guide an agent to inspect contract source files and draft or update tests when you ask it to. Review generated audit findings and test changes before applying them, especially for contracts that control funds or production chain state.

Vulnerability Patterns
  • Skill Instruction HijackingAlters the agent's session goals or safety constraints when the skill loads
  • Agent Memory PoisoningWrites attacker-controlled rules into memory that affect later sessions
  • Remote Payload Retrieval and ExecutionFetches external code whose behavior can change after review
  • Embedded Malicious CodeShips malicious scripts inside the skill and executes them locally
  • Unauthorized Access and Privilege EscalationObtains permissions beyond the task's legitimate needs
Vulnerability Patterns
  • Excessive AgencyUnrestricted Tool Access, Autonomous Decision Making, Scope Creep
  • Prompt InjectionInstruction Override, Hidden Instructions, Exfiltration Commands
  • Data ExfiltrationExternal Transmission, Env Variable Harvesting, File System Enumeration
  • Privilege EscalationExcessive Permissions, Sudo/Root Execution, Credential Access
  • Supply ChainUnpinned Dependencies, External Script Fetching, Obfuscated Code
Findings (1)

Unrestricted Tool Access

Medium
Category
Excessive Agency
Content
- *Detection*: Math operations without `SafeMath` in older code, or unsafe `unchecked` blocks.

3. **Access Control Flaws**: Improper use of `public` vs `private`, or missing `onlyOwner`/role modifiers on sensitive functions.
    - *Detection*: Functions that mint tokens, withdraw funds, or change state without access restrictions.

4. **Front-Running (Transaction-Ordering Dependence)**: Malicious actors can observe pending transactions and submit their own with a higher gas price to get executed first.
    - *Detection*: Marketplaces, DEXs without slippage limits, or logic depending on transaction order.
Confidence
75% confidence
Finding
Skill grants unrestricted tool access without appropriate constraints. An agent with unfettered tool access can perform arbitrary actions including file modification, network requests, and code execution.

Static analysis

No suspicious patterns detected.