Urufu Labs

You can write and edit Solidity contracts under contracts/ with enforced style and safety conventions, design library APIs following OpenZeppelin rules, write tests using Hardhat, Foundry, Halmos, and Certora, and add changelog entries for PRs that change user-visible contract behavior.

These skills target smart contract engineers and contributors working on the openzeppelin-contracts repository. They suit developers writing or reviewing contracts, building test suites and formal verification specs, and maintainers managing PR changelogs for user-visible changes.

Use solidity-style when editing any .sol file, library-api-design when adding or reviewing contracts under contracts/, testing when writing tests, mocks, or verification specs, and add-changeset when finishing a PR with user-visible behavior changes or when flagged by changeset-bot.

Skip the changeset for NatSpec-only edits, internal refactors with no observable effect, and repository plumbing changes. The skill applies only when a PR alters user-visible contract behavior or when the changeset-bot has explicitly flagged the pull request.

The testing skill assumes an openzeppelin-contracts environment with Hardhat and Chai (loadFixture, shouldBehaveLike, hardhat-exposed $-wrappers), plus Foundry for fuzz testing, Halmos for symbolic execution, and Certora for rule-based formal verification of contract specifications.