# Manticore

Manticore is a symbolic execution tool for analysis of smart contracts and binaries.

Visit the following resources to learn more:

- [@official@Manticore Docs](https://manticore.readthedocs.io/)