Umia Finance Protocol is a protocol for EVM that enables launching on-chain organizations that can raise funds via Uniswap V4 integration and can be governed through decision markets.

This report details Certora's analysis of invariants and attack vectors as part of the manual code review and the security issues that were identified. All high-severity issues were resolved and confirmed by Certora.