> For the complete documentation index, see [llms.txt](https://docs.hackenproof.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.hackenproof.com/education/tools.md).

# Tools

**Research** **Tools:**

* [Slither](https://github.com/crytic/slither)
* [Mythril](https://github.com/ConsenSys/mythril)
* [Mythx](https://mythx.io/)
* [Echidna](https://github.com/crytic/echidna)
* [Foundry FUZZ](https://book.getfoundry.sh/forge/fuzz-testing)
* [Manticore](https://github.com/trailofbits/manticore)
* [Surya](https://github.com/ConsenSys/surya)

**VS Code Extensions:**

* [Solidity Visual Developer](https://marketplace.visualstudio.com/items?itemName=tintinweb.solidity-visual-auditor)
* [Solidity Metrics](https://marketplace.visualstudio.com/items?itemName=tintinweb.solidity-metrics)
* [Slither VSC](https://marketplace.visualstudio.com/items?itemName=trailofbits.slither-vscode)
* [EthOver](https://marketplace.visualstudio.com/items?itemName=tintinweb.vscode-ethover)