Vera
A programmable tool for verification, analysis and transformation of C++ source code
Install / Use
/learn @verateam/VeraREADME
Description
Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. Vera++ is mainly an engine that parses C++ source files and presents the result of this parsing to scripts in the form of various collections - the scripts are actually performing the requested tasks.
License
Boost Software License
License exceptions
vera.ctest : Licensed under the Apache License, Version 2.0 (see inside the file for the complete license and copyright)
Homepage
Vera++ is hosted at http://bitbucket.org/verateam/vera and daily replicated at http://github.com/verateam/vera
Origins
Vera++ was initially hosted at: http://www.inspirel.com/vera
Related Skills
node-connect
346.8kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
107.6kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
openai-whisper-api
346.8kTranscribe audio via OpenAI Audio Transcriptions API (Whisper).
qqbot-media
346.8kQQBot 富媒体收发能力。使用 <qqmedia> 标签,系统根据文件扩展名自动识别类型(图片/语音/视频/文件)。
