SpecForge for VS Code

The official VS Code extension for SpecForge, a specification-engineering platform based on the Lilo temporal specification language.

Features

• Lilo syntax highlighting, completion, document outlines, and real-time diagnostics
• Code lenses for satisfiability, redundancy, AI-assisted explanations, and spec generation
• Interactive monitoring, exemplification, falsification, animation, and export
• Saved analyses and Jupyter notebook visualizations

Learn more

• Install and configure the extension
• Read the full extension guide
• Browse the SpecForge documentation