Files

.github
docs/src
- api
- detectors
- printers
- tools
  - Adding-a-new-utility.md
  - Code-Similarity-Detector.md
  - Contract-Flattening.md
  - Doctor.md
  - Documentation.md
  - ERC-Conformance.md
  - Interface.md
  - Mutator.md
  - Path-Finding-Utility.md
  - Property-generation.md
  - README.md
  - ReadStorage.md
  - Slither-format.md
  - Upgradeability-Checks.md
- tutorials
- README.md
- SUMMARY.md
- Usage.md
examples
plugin_example
scripts
slither
tests
.coderabbit.yaml
.dockerignore
.gitattributes
.gitignore
.pre-commit-hooks.yaml
CITATION.cff
CODEOWNERS
CONTRIBUTING.md
Dockerfile
FUNDING.json
LICENSE
Makefile
README.md
funding.json
logo.png
pyproject.toml
setup.py
trophies.md

Documentation.md

slither-documentation

slither-documentation uses codex to generate natspec documentation.

This tool is experimental. See solmate documentation for an example of usage.