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