Protofire and Dowsers Bring Free Automated Smart Contract Security Scanning to the Solhint Developer Community
Free, automated smart contract security analysis, now available to the Solhint developer community.
June 29th, 2026, Paris and San Francisco
AI gives hackers unprecedented power. They only need one flaw to drain your funds. Your smart contract must have none.
The solution: AI-assisted formal verification, an approach Vitalik Buterin has championed as the gold standard for Ethereum security.
The first step is to clean the code through comprehensive static analysis checks. The second is to use mathematical models and complete simulations to demonstrate that specific, defined classes of attacks cannot occur.
Today, Dowsers and Protofire partner to offer free automated smart contract security analysis to the entire Solhint community.
Protofire maintains Solhint, one of the most widely used linters in the Solidity ecosystem. Since the new math verification path shipped, the latest version has passed 152K+ downloads in its first week, an early signal that teams want security built into their workflow. Dowsers brings the DSA engine and the formal verification expertise behind it.
DSA (Dowsers Static Analyzer) performs 500+ security checks across ERC-20 tokens, token standards, and DeFi protocols, delivering actionable security results in seconds.
The partnership puts security checks directly into the workflow developers already use. Vitaliy Chernov, DeFi Project Manager at Protofire, put it plainly: “Developer tooling is only as valuable as the security it enables. Putting DSA in front of the Solhint community helps thousands of teams surface and fix critical flaws earlier, before code reaches mainnet."
For Dowsers, free static analysis is the entry point to a deeper security standard. "Static analysis is where security starts, not where it ends," said Patrick Azzopardi, CEO and Co-Founder of Dowsers. "Our goal is to take developers from their first scan all the way to formally verified contracts."
Thanks to DSA, developers can identify and fix vulnerabilities before taking the next step: proving that their smart contracts are secure against on-chain attacks.
Dowsers' experts also provide dedicated one-on-one sessions to identify attack scenarios and explain the first security properties that must be formally verified to guarantee that these attacks are impossible.
DSA is the first step toward formal verification, the bug-free future Vitalik Buterin advocates for Ethereum.
Find the flaw before hackers do. Start a free scan at 🔗 dowsers.finance/find-the-flaw-before-hackers-do/
PROTOFIRE
Protofire is a leading Web3 development agency. Since 2016, the company has contributed to more than 200 blockchain projects, collaborating with over 60 blockchain networks and 95 protocols. Its developer tooling and infrastructure solutions are trusted by tens of thousands of blockchain developers worldwide.
Contact: timur.galimov@protofire.io
Web: www.protofire.io
Linkedin: https://www.linkedin.com/company/protofire-io/
DOWSERS
Dowsers builds a Defensive Formal Verification Platform to protect smart contracts and blockchains against AI-driven attacks. Dowsers combines the best of AI and Formal Verification to secure the new onchain financial system. In practice, Dowsers simulates and mathematically proves that lethal attacks cannot occur.
Vitalik Buterin is championing this exact approach for a bug-free Ethereum. Formal verification is the scientific technology used to prevent catastrophic software failures in nuclear power plants.
Contact: patrick@dowsers.finance
Web: www.dowsers.finance
X: https://x.com/DowsersFinance
Linkedin: www.linkedin.com/company/dowsersfinance/
Share this article on
Share this article on