GitHub repository: Certora/cvldocTool
Primary language: Ruby
Description: convert the NatSpec comment on a spec file(s) to a JSON file.