Convert English properties from PROPERTIES.md into Solidity assertions and update checkboxes.
npx skills add https://github.com/pashov/skills --skill fizz-convert
Please help me install this Agent Skill. Skill: fizz-convert Source: https://github.com/pashov/skills/tree/main/fizz/skills/fizz-convert Command: npx skills add https://github.com/pashov/skills --skill fizz-convert
This Skill automatically converts English properties described in a PROPERTIES.md file into Solidity assertions and updates the corresponding checkbox states, streamlining the development of fuzz harnesses.
[ ] to [x] for implemented properties.Convert all properties in PROPERTIES.md to Solidity using fizz-convert.
High-intent search queries and answers about installing and using this skill.
To convert English properties into Solidity assertions, this tool parses a PROPERTIES.md file and generates corresponding assertion code within an existing Solidity fuzz harness, directly translating text descriptions into executable test checks.
Tracking implemented properties in a Solidity fuzz harness is done by updating checkbox states from `[ ]` to `[x]`. This automatically marks completed assertions in your property documentation as they are converted into code.
Yes, you can convert specific properties by providing optional space-separated property IDs. This allows you to target individual English descriptions in the PROPERTIES.md file for Solidity assertion generation without processing the entire document.
Property conversion for Solidity fuzz testing works by reading English properties from a PROPERTIES.md file and translating them into Solidity assertions within an existing harness. It outputs a detailed execution summary of the converted properties.
Yes, you need an existing Solidity fuzz harness to use property conversion. The tool injects the generated Solidity assertions directly into your current harness structure and updates the corresponding checkbox states in your documentation.
ccashwellWrite robust fuzz tests for Solidity smart contracts using Foundry.
sablier-labsGenerate Foundry-based tests and deployment scripts for Ethereum smart contracts.
ObolNetworkGuide Solidity developers through Foundry unit, fuzz, fork, and invariant testing.
andginjaWrite unit, fuzz, fork, and invariant tests for Solidity contracts using Foundry.