Submit a story or source

Suggesting a link for: Independent research thread explores using AI agents to formally verify Sky smart contracts, with no replies yet