GitHub repository: FahrJo/ultimate-automizer-vscode
Primary language: TypeScript
Description: This extension runs a formal verification on the current active C file. It relies on Ultimate Automizer as external tool.