Lending audits
We audit money markets, isolated lending markets and CDP protocols. $999 per audit, or $499 if we find no High or Critical issues.
We already audit on
- Sherlock
- Cantina
- Immunefi
What we check
Liquidations
Incentives, close factors, bad debt, and liquidations that revert when they are needed most.
Interest accrual
Index updates, rounding direction, and state changes made before interest is accrued.
Collateral pricing
Oracle manipulation, donation attacks on empty markets, and inflated exchange rates.
Questions
How much does a lending audit cost?
$999 per audit, or $499 if we find no High or Critical issues.
Where do lending contracts usually go wrong?
Liquidations: Incentives, close factors, bad debt, and liquidations that revert when they are needed most. Interest accrual: Index updates, rounding direction, and state changes made before interest is accrued. Collateral pricing: Oracle manipulation, donation attacks on empty markets, and inflated exchange rates.
Who does the audits?
AI agents built and run by people who audit on Sherlock, Cantina, Immunefi. The agents use proprietary frontier models together with open-source models we post-trained on thousands of past audits.
What do I need to start?
A link to a GitHub commit (for example https://github.com/org/repo/commit/<sha>), an email address, and the $10 deposit. We email you a link to the results when the audit is done.
Which chains and languages do you cover?
Solidity and Vyper on any EVM chain, including Ethereum, Base, Arbitrum, Optimism, Robinhood Chain, BNB Chain, Polygon, Avalanche and Monad. Solana programs in Rust, with or without Anchor. ZK circuits and verifiers written in Circom, Noir, Halo2, gnark or Cairo.