cvldoc (pypi): Utility for reading CERTORA spec files, parse and export their NatSpec comments to JSON files.
Keywords: Certora|CVLDoc