vscode

Enforce SaC code formatting and readability conventions.

Triage and improve sac2c diagnostic quality in editor workflows.

Add or adjust SaC overloads while preserving semantic consistency.

Compile and diagnose SaC files by calling the local sac2c MCP tools.