1. Highlights

Hawk-i v1.0.0 is a complete smart-contract security toolkit that runs entirely on your machine. The headline capabilities:

• The Deep agent - an autonomous loop that invents novel exploits and proves them with a runnable Hardhat or Foundry proof-of-concept.
• 50 static rules that actually run - every rule is verified by a liveness test that proves it fires through the real scan pipeline; there are no dead rules.
• Tested on real code - run against Trail of Bits' not-so-smart-contracts, Damn Vulnerable DeFi, PancakeSwap's audited BNB Chain farming contracts (zero false criticals on production code), and DeFiVulnLabs' incident reproductions.
• Deployed-contract scanning across the major EVM chains, pulling verified source from block explorers.
• Four focused security modules - verify, deps, upgrade, and prove.
• Audit-grade reporting with an audit style and an Immunefi bug-bounty style, plus first-class JSON export.
• A deterministic security score that maps findings to a clear risk band.
• MIT license and a firm no-telemetry promise.