In the past two weeks, FM-Agent received 22 new issues and 31 pull requests, closed 19 issues, merged 18 pull requests, made 50 commits, and added 3,041 lines of code.
This release was contributed to by Anran Liang, Chenglong Wang, Si Ge, Tie Liu, and Wangbo Gong.
DevEco Studio Plugin
Huawei DevEco Studio is the integrated development environment for HarmonyOS applications and service widgets. The new plugin connects the full workflow: write HarmonyOS code, let FM-Agent check code quality and generate a bug report, then let a coding agent repair the reported bugs automatically. FM-Agent is now available as a plugin for DevEco Studio, Claude Code, and Codex.
The plugin supports three modes:
- Full reasoning: inspect all project code.
- Resume: continue an interrupted run from its existing partial results.
- Incremental reasoning: inspect only code related to the current feature or bug fix, using optional user intent together with Git log information.
The plugin currently supports macOS and can be downloaded from GitHub.
Hardware Specifications for Verilog
Expert-written correctness specifications remain a bottleneck in chip verification. FM-Agent previously generated specifications for Chisel and connected them to UCAgent for end-to-end automated verification. This capability now extends to Verilog.
uv run python main.py <proj_dir> --hardware --verilog
uv run python main.py <proj_dir> --hardware --chiselErlang Support
FM-Agent now integrates the Erlang Language Platform (ELP) to identify Erlang functions and construct a call graph. Because ELP is large and optional, install it only when needed:
./install.sh --with-erlangCustom Domain Knowledge
Users can provide Markdown files describing project invariants, protocols, terminology, system behavior, and other domain knowledge. FM-Agent reads them while understanding code, generating specifications, and reasoning about correctness, without requiring changes to its built-in prompts.
uv run python main.py <proj_dir> --domain-knowledge FILE ...