FM-Agent-Install

Install FM-Agent framework to the plugin data directory for automated code reasoning and bug detection.

Overview

This skill clones FM-Agent from the official repository to the plugin data directory $HOME/.fm-agent-plugin/. FM-Agent is a framework that realizes fully automated reasoning for large-scale systems using LLM-based Hoare-style verification.

Installation Steps

For the following steps, exactly execute the provide bash commands. Do not run other commands or modify the provided commands.

If any step fails, stop the installation and inform the user to set up FM-Agent manually.

Step 1: Ensure Plugin Data Directory Exists

Create $HOME/.fm-agent-plugin/ if it does not already exist (mkdir -p is a no-op when the directory is present):

mkdir -p $HOME/.fm-agent-plugin/

If mkdir fails (for example, due to permission errors), stop the installation and inform the user to set up FM-Agent manually.

Step 2: Clone or Update FM-Agent

Clone FM-Agent to $HOME/.fm-agent-plugin/FM-Agent. If it already exists, preserve the local checkout because this installation may include local CLI backend patches:

if [ -d "$HOME/.fm-agent-plugin/FM-Agent" ]; then
  echo "FM-Agent already exists; preserving local checkout and patches."
else
  echo "Cloning FM-Agent..."
  cd "$HOME/.fm-agent-plugin/" && git clone https://github.com/fmagent-project/FM-Agent.git
fi

Step 3: Create Local CLI Backend Configuration

Create $HOME/.fm-agent-plugin/FM-Agent/.env if needed, then ensure backend keys are present. The default remains FM_AGENT_MODEL_BACKEND=opencode, matching upstream FM-Agent. Users can switch to auto, codex-cli, or claude-cli when they want local CLI model execution. Empty LLM_EFFORT omits the effort flag.

cd "$HOME/.fm-agent-plugin/FM-Agent" && { [ -f .env ] || cp .env.example .env; } && \
grep -q '^FM_AGENT_MODEL_BACKEND=' .env || printf '\nFM_AGENT_MODEL_BACKEND=opencode\n' >> .env && \
grep -q '^LLM_EFFORT=' .env || printf 'LLM_EFFORT=\n' >> .env