VSCode Solidity Auditor adds Solidity language support and visual security auditing to Visual Studio Code.
Scribble
Scribble instruments Solidity code for runtime verification and property-based testing.

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
- 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
- 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.
eth-tester provides a suite of tools for testing Ethereum applications, according to its repository description.
OpenZeppelin Contracts provides a library for secure smart contract development.
Ethereum smart contracts can be fuzzed with Echidna, whose repository describes it as a fuzzer.
Nightfall 3's repository contains an optimistic version of the Nightfall project, according to its description.
Each Ethernaut level requires hacking a smart contract in the Ethereum Virtual Machine through a Web3 and Solidity wargame.
Popular in Portfolio & Security Tools
Well-known listings from the same topic.
Scribble FAQ
How do I install Scribble?
How do I instrument a Solidity file?
Is there VS Code support?
Tell us and an editor will check it.
Claim the listing and suggest updates yourself. An editor checks every claim first.











