> For the complete documentation index, see [llms.txt](https://eoth.gitbook.io/eoth/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://eoth.gitbook.io/eoth/audit-solidproof.md).

# Audit SolidProof

<https://app.solidproof.io/projects/eoth?audit_id=689>