Skip to content

AGENTS.md

Latest commit

 

History

History
27 lines (18 loc) · 793 Bytes

AGENTS.md

File metadata and controls

27 lines (18 loc) · 793 Bytes

Polyspace Agentic Toolkit — Agent Instructions

Setup

If the user asks to set up the Polyspace Agentic Toolkit, use the setup skill at skills-catalog/polyspace-agentic-toolkit-setup/SKILL.md. This automates MCP server binary installation, agent registration, and skill configuration.

Skills

Polyspace skill files are in skills-catalog/. Each skill has a SKILL.md with instructions. Read the relevant skill file before performing any Polyspace task.

MCP Tools

Five MCP tools are available when the MCP server is connected (see README.md for details):

  • run_polyspace_as_you_code
  • configure_build_options_for_polyspace
  • configure_checkers_for_polyspace
  • get_polyspace_documentation
  • query_justification_catalog

Copyright 2026 The MathWorks, Inc.