In the past two weeks, FM-Agent received 13 new issues and 26 pull requests, closed 13 issues, processed 10 pull requests, made 46 commits, and added 3,617 lines of code.
This release was contributed to by Qiaoyi Zheng, Jiahe Mao, Yucong Dong, and Yuexuan Zhang.
Custom Bug-Triggering Guidance
FM-Agent reduces false positives by attempting to trigger potential bugs inferred during correctness reasoning. Triggering differs by system: compiler bugs require source programs, while database bugs require SQL statements and data. Users can now provide a Markdown file that describes the local environment and how to run relevant test cases:
uv run python main.py <proj_dir> --bug-validator FILEStart from md/bug_validator.md and keep the validator's input and output conventions unchanged.
Interactive Environment Configuration
Standalone users no longer need to create and edit every environment file manually. The interactive script collects model names, API base URLs, and related settings, then creates or updates the required files:
uv run python src/configure_llm.pySee docs/config_llm.md for details.
Dedicated CodeGraph Repository
FM-Agent uses CodeGraph to identify functions and construct call graphs for specification generation and correctness reasoning. A dedicated fork under the FM-Agent organization enables timely issue fixes and project-specific enhancements while continuing to synchronize improvements from upstream.