Help
Explain how to use the FM-Agent plugin, including its available skills, automatic full/incremental/no-op selection, artifact locations, cross-client behavior, and current capabilities. Use when the user asks what FM-Agent can do, how to start or configure it, where results live, or why it selected a mode.
Diagnose
Inspect FM-Agent run state, Bug Validator summaries, incremental decisions, and a specified bug report without starting another analysis.
Config
View, update, and reset persistent FM-Agent analysis defaults for scope, execution, graph backends, and knowledge references.
Install
Set up or verify the FM-Agent analysis capability and its local deterministic tools. Use when the user asks to install, update, check prerequisites for, or enable FM-Agent analysis.
Run
Run an FM-Agent full, incremental, or no-op correctness analysis for a Git project. Use when the user asks to analyze code, generate behavioral specifications, verify implementation against specifications, or assess changes for formal-methods bugs.