Which frameworks does this skill support?

The skill provides detailed commands and implementation strategies for both Foundry (forge coverage) and Hardhat (solidity-coverage) environments.

How does this help with smart contract security audits?

It helps identify untested code paths and logic gaps, ensuring that all critical functions and error conditions are verified before the code is submitted for a formal audit.

Does it include CI/CD support?

Yes, it includes example GitHub Action configurations to enforce minimum coverage thresholds and automate reporting during the development lifecycle.

Can this skill help increase branch coverage?

Yes, it provides specific guidance on using fuzz testing and invariant testing to automatically exercise diverse code paths and edge cases.

Is 100% test coverage always necessary?

While the skill aims for high coverage (95%+), it emphasizes that testing for correctness is more important than simply hitting 100% coverage, especially for unreachable or low-risk utility code.

Solidity Coverage Analysis

Name: Solidity Coverage Analysis
Author: IvanTorresEdge

byIvanTorresEdge

Security & Testing

Analyzes and improves Solidity smart contract test coverage using industry-standard metrics and framework-specific strategies.

About

This skill provides comprehensive strategies for analyzing and boosting test coverage in Solidity projects, specifically tailored for developers using Foundry and Hardhat. It guides users through measuring essential metrics like line, branch, and function coverage while identifying frequently overlooked code paths such as error handlers, modifiers, and edge cases. By offering implementation patterns for fuzz testing, invariant testing, and CI/CD integration, the skill helps ensure smart contracts are robust, audited-ready, and functionally verified across all possible execution paths.

Key Features

CI/CD integration patterns for automated coverage threshold enforcement
Identification of uncovered branches, error paths, and edge cases
Best practices for prioritizing critical path testing over simple metrics
Strategies for increasing coverage via fuzz and invariant testing
0 GitHub stars
Multi-framework support for Foundry and Hardhat coverage tools

Use Cases

Automating quality gates in GitHub Actions to prevent untested code merges
Preparing smart contracts for security audits by maximizing test coverage
Identifying hidden logic gaps in complex DeFi protocols using branch analysis

About

Key Features

CI/CD integration patterns for automated coverage threshold enforcement
Identification of uncovered branches, error paths, and edge cases
Best practices for prioritizing critical path testing over simple metrics
Strategies for increasing coverage via fuzz and invariant testing
0 GitHub stars
Multi-framework support for Foundry and Hardhat coverage tools

Use Cases

Automating quality gates in GitHub Actions to prevent untested code merges
Preparing smart contracts for security audits by maximizing test coverage
Identifying hidden logic gaps in complex DeFi protocols using branch analysis