bulloak logo

Bulloak

bulloak is a developer tool for smart contract testing. It uses the Branching Tree Technique to generate comprehensive Solidity test suites and check implementations against test specifications.
Distributed
0 current maintainers0 active leads1 lead step-down1 early lead departure

Maintainer signals as of Aug 10, 2026


Bulloak


Project Links


Description

Bulloak is a tool for generating Solidity tests from specification files written in a subset of the Markdown syntax, which helps you write more robust and maintainable smart contracts by enforcing a strict separation between the specification and the implementation.

Category: Developer Tooling