You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Alfred is an agentic auditor of smart contracts on the EVM and activated in your IDE of choice. It makes formal verification with Cetora easy by discovering invariants, generating specs, and explaining proof failures.
About
Makes formally verifying smart contracts super easy.