Scribble

Scribble instruments Solidity code for runtime verification and property-based testing.

github.com/ConsenSys/scribble
Scribble homepage screenshot

About Scribble

Scribble is an instrumentation tool that adds specifications to Solidity code for runtime verification and property-based testing. It is used to prepare smart contracts for behavior verification with Diligence Fuzzing and tools such as Mythril.

It installs with npm and runs from the command line on Solidity files. Its specification language uses a small set of constructs intended to be understandable and checkable with existing analysis tools, and is not intended to express every possible property.

Key features

  • Instruments Solidity source code for runtime verification
  • Supports property-based testing of smart contracts
  • Prepares contracts for behavior verification with Diligence Fuzzing
  • Works alongside analysis tools such as Mythril
  • Command-line interface processes Solidity files directly
  • Separate VS Code extension with syntax highlighting and hover hints
Best for: Developers and auditors working with Solidity smart contracts who use runtime verification.
Good for
  • Open source under an Apache-2.0 license
  • Installs globally via npm with command-line use
  • Provides a separate VS Code extension for syntax highlighting and hover hints
Watch out for
  • Specification language is not intended to cover every possible property

Scribble at a glance

Type
Open-source project
Pricing
Not confirmed. Check the site
Open source
Yes · Source code
Language
English
Last checked
Oct 6, 2026 · Online when checked
Listed
Oct 5, 2026

Scribble alternatives

Tools and sites you could use instead, ranked by how closely they match.

All 24 alternatives

Popular in Portfolio & Security Tools

Well-known listings from the same topic.

All 72

Scribble FAQ

How do I install Scribble?
Run npm install -g eth-scribble.
How do I instrument a Solidity file?
Run scribble sample.sol, and use --help to see all available features.
Is there VS Code support?
Yes, a Scribble extension for VS Code provides syntax highlighting and hints-on-hover, but it is maintained in a separate repository.
Is something wrong or out of date?

Tell us and an editor will check it.

Own this website?

Claim the listing and suggest updates yourself. An editor checks every claim first.

Claim this listing