Dowsers

README.md

Web3 Security

Tools/Platforms

Dowsers: Black Duck for the Blockchain

Contacts

GivEth

https://giveth.io/project/dowsers-formal-verification?tab=updates

Popular repositories Loading

.github .github Public

1
Scobelix Scobelix Public

Forked from palkeo/panoramix

Ethereum decompiler maintain by @DOWSERS

Python 1
certora_fork certora_fork Public

Forked from Certora/CertoraProver

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Kotlin
smackterix smackterix Public

Forked from smackers/smack

SMACK Software Verifier and Verification Toolchain

C

Repositories

certora_fork Public Forked from Certora/CertoraProver
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Dowsers/certora_fork’s past year of commit activity

Kotlin 0 GPL-3.0 40 0 0 Updated Jun 20, 2026
.github Public

Dowsers/.github’s past year of commit activity

1 0 0 0 Updated Apr 3, 2026
Scobelix Public Forked from palkeo/panoramix
Ethereum decompiler maintain by @Dowsers

Dowsers/Scobelix’s past year of commit activity

Python 1 MIT 844 0 0 Updated Mar 24, 2026
smackterix Public Forked from smackers/smack
SMACK Software Verifier and Verification Toolchain

Dowsers/smackterix’s past year of commit activity

C 0 86 0 0 Updated Apr 18, 2025

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…