# 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>

![](https://76618496-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2Fhjsmiysl7yOGMQcV3bcl%2Fuploads%2FRXUXHCh4yFhyeUIToiCB%2Fcertik_audit.png?alt=media\&token=68ebd3fe-62f6-4680-8641-2342ecde8d3d)

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

![](https://76618496-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2Fhjsmiysl7yOGMQcV3bcl%2Fuploads%2FVmv4ZMKW0JuCdRzKy8SY%2FAudit_Certificate_Agile%20Finance.png?alt=media\&token=8dbef2ef-f7d4-4d8b-9b0e-14a06ff45565)