GitHub repository: Ayman161803/cicero-vscode-extension
Description: VS Code extension for editing Cicero templates and Ergo logic