> For the complete documentation index, see [llms.txt](https://docs.agilefi.org/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.agilefi.org/security/formal-verification.md).

# Formal Verification

The Agile protocol was developed with a specifications of security principles, and formally verified by [Certik](https://www.certik.org/projects/agile-finance) using Certik ASA (Accurate Static Analysis) and Solidproof Germany Audit Firm, which is integrated into Agile Finance's continuous integration system.

* Certik - <https://www.certik.org/projects/agile-finance>

![](/files/ko8S0BPsobsVH7cBMWXg)

* Solidproof - <https://github.com/solidproof/smart-contract-audits/blob/main/SmartContract_Audit_Solidproof_AgileFinance.pdf>

![](/files/MSFaWQnTriTuk4HoF7ib)