{"library":"vera++","type":"cli","category":null,"description":"Programmable verification and analysis tool for C++.","language":"cpp","status":"active","version":"1.2.1","tags":[],"last_verified":null,"install":[{"cmd":"apt install vera++","imports":[]}],"homepage":"https://bitbucket.org/verateam/vera/wiki/Home","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}