Skills
.Work. You
Rest

floating-pragma

Community

Lock Solidity compiler versions.

Software Engineering#security#auditing#smart contracts#compiler#solidity#pragma
AuthorApegurus
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill addresses the security risk associated with using floating or range pragmas in Solidity smart contracts, which can lead to unexpected behavior or vulnerabilities due to compilation with untested compiler versions.

Core Features & Use Cases

  • Identifies Floating Pragmas: Detects pragma solidity ^0.8.0 or pragma solidity >=0.7.0 <0.9.0 declarations.
  • Distinguishes Libraries: Differentiates between deployable contracts and libraries/packages where floating pragmas might be acceptable.
  • Provides Remediation: Offers clear guidance on how to use locked pragmas for deterministic compilation.
  • Use Case: Ensure that your deployed smart contracts are compiled with a specific, tested version of the Solidity compiler, preventing potential bugs introduced by newer, unvetted versions.

Quick Start

Audit the VaultContract.sol for security vulnerabilities.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: floating-pragma
Download link: https://github.com/Apegurus/solidity-argus/archive/main.zip#floating-pragma

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.