Can deterministic static-analysis MCP tools improve audit results from non-deterministic AI? Three GPT-5.6 models reviewed the same Go codebase with and without them.
Research author
Michal Převrátil
Security researcher and tooling engineer focused on Solidity analysis, developer workflows, and practical automation for smart-contract assurance.
Three EVM fuzzers ran eight hours per maze against 153 reachable Daedaluzz assertions; an agent-written harness ran once. The deciding variable was not speed.
NEST automates LDO buybacks funded by Lido DAO treasury earnings. Our security review covered the contracts, the fixes, and the verified mainnet deployment.
Ackee is finalizing an ERC-4337 detector to identify the use of forbidden opcodes and storage access, turning a very labor-intensive manual review into an automated…
Building projects on top of cross-chain solutions may lead to security issues in the code. Open-source tools can automatically detect many issues or help test the…