Skip to content
v0.1.0Apache-2.0

Check AI-built software with the local SURE engine and use grounded repair contracts.

MCP servers

Declared configuration, as published in mcp.json. The directory shows indexed content; it never connects to or executes these servers.

sure
{
  "command": "sure",
  "args": [
    "mcp",
    "serve"
  ]
}

What this package declares

The files a client reads when it loads this plugin, exactly as this revision carries them.

{
  "$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
  "name": "sure",
  "description": "Check AI-built software with the local SURE engine and use grounded repair contracts.",
  "version": "0.1.0",
  "author": { "name": "SURE contributors" },
  "repository": "https://github.com/lichman0405/SURE",
  "license": "Apache-2.0",
  "mcpServers": "mcp.json",
  "skills": "skills/"
}

Fields the format does not define

This package's plugin.json declares these at its top level. The Agent Plugins format gives them no meaning, so a client loads the plugin and ignores them.

  • mcpServers
  • skills