The Flyworks AI Agents extension integrates Google's Gemini models into VS Code to assist engineers to catch early possible errors.
Features
Current Features include:
ACSL Loop generation: Provides codelens on top of C services for generation of ACSL for the loops present in that service.
CRAM_CUSTO Coverage Review: Provides function (ctrl+shift+P and select "Gemini: Analyse CRAM_CUSTO HLR Coverage") to take CRAM custo requirement (one at a time) and provide coverage analysis for currently traced requirements.
Prerequisites
Before using this extension, ensure your development environment is configured correctly.
Toolchain Dependency (TL0223)
The extension relies on the TL0223 TraceNG backend service to fetch design context.
Required Version: 1.2.1 (Latest)
Installation Path: Ensure the Toolchain is present in the external folder. (Can be acheived by including it in data.gradle and running f_r_d)
Extension Settings
This extension contributes the following settings to VS Code:
fwkagent.geminiActivate: Enable/Disable the Gemini CodeLens features (Default: true).
fwkagent.geminiModel: Select the LLM model to use.
gemini-2.5-pro (Default, slower but more precise)
gemini-2.5-flash (Faster, for quick iterations)
fwkagent.geminiSuggest: Allow Gemini to provide suggestions (Default: true).
How to Use
Open a C File: Open any .c source file in your workspace.
Locate a Function: The extension looks for functions matching the naming convention _Se_ or _Si_ (Service/Internal functions).
Find the CodeLens: If the function contains a loop (for, while, do), a CodeLens appears above the function signature:
✨ Generate LoopACSL for [FunctionName]
Click to Generate: Click the CodeLens.
The extension will analyze loop dependencies.
It will query TraceNG for context on called services.
It will send the data to AI for analusis.
View Output:
A progress notification will appear in the bottom right.
Once complete, the generated ACSL code is printed to the FlyworksGenAIACSL Output Channel.
To view: Go to View -> Output and select FlyworksGenAIACSL from the dropdown.
Similarly for CRAM_CUSTO Coverage analysis:
Open command window (ctrl+Shift+P) to select Gemini: Analyse CRAM_CUSTO HLR Coverage
Input one CRAM_CUSTO requirement in input text box. (For ex: REQ_XXX_1)
The output will be logged in the output window named "CRAM Review AI"
Also the output will be logged in file in tmp/TL0236/CRAM_Reviews folder.
Troubleshooting
"TraceNG server not started"
Verify that /external/TL0223/trace exists relative to your workspace root.
Ensure the binary corresponds to version 1.2.1.
No CodeLens appears
Ensure the C function name contains _Se_ or _Si_.
Ensure the function body actually contains a loop keyword.
Check if fwkagent.geminiActivate is checked in Settings.
