AEON skill pack for Solvr — AI-assisted formal verification work-order, grounded in live onchain intel. Inspired by Vitalik's FV essay.
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).