# fmagent-project

> Open-source publisher. Listings imported from github.com/fmagent-project — credited to the original author with their license.

- **Listings:** 5
- **Total installs:** 0
- **Profile:** https://agentstack.voostack.com/s/fmagent-project
- **Website:** https://github.com/fmagent-project

## Published listings

- [Help](https://agentstack.voostack.com/l/skill-fmagent-project-fm-agent-skill-help) — Skill · Free · security-reviewed — `agentstack add skill-fmagent-project-fm-agent-skill-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](https://agentstack.voostack.com/l/skill-fmagent-project-fm-agent-skill-diagnose) — Skill · Free · security-reviewed — `agentstack add skill-fmagent-project-fm-agent-skill-diagnose`
  Inspect FM-Agent run state, Bug Validator summaries, incremental decisions, and a specified bug report without starting another analysis.
- [Config](https://agentstack.voostack.com/l/skill-fmagent-project-fm-agent-skill-config) — Skill · Free · security-reviewed — `agentstack add skill-fmagent-project-fm-agent-skill-config`
  View, update, and reset persistent FM-Agent analysis defaults for scope, execution, graph backends, and knowledge references.
- [Install](https://agentstack.voostack.com/l/skill-fmagent-project-fm-agent-skill-install) — Skill · Free · security-reviewed — `agentstack add skill-fmagent-project-fm-agent-skill-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](https://agentstack.voostack.com/l/skill-fmagent-project-fm-agent-skill-run) — Skill · Free · security-reviewed — `agentstack add skill-fmagent-project-fm-agent-skill-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.

---
Seller on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Install any with `agentstack add <slug>`.