← WebMCP Directory

Tool tree

agentic-mcps.github.io

Developer ToolsTools verified
Website
Local Go MCP server and CLI giving external coding agents workspace context, durable change continuity, guarded refactoring, and evidence-backed verification.
Explore capabilities
    search_documentationAnswer

    Search agentic-go documentation topics, routes, capabilities, and protocol contracts.

    View tool JSON
    {
      "name": "search_documentation",
      "kind": "answer",
      "impl": "imperative",
      "description": "Search agentic-go documentation topics, routes, capabilities, and protocol contracts.",
      "inputSchema": {
        "type": "object",
        "properties": {
          "query": {
            "type": "string",
            "description": "Search keyword or topic (e.g. install, verify, gopls, mcp, contracts)"
          }
        },
        "required": [
          "query"
        ],
        "additionalProperties": false
      },
      "page": "/"
    }
    get_quickstartAnswer

    Returns ready-to-run installation commands, Homebrew formula, curl installer, and MCP stdio config for agentic-go.

    View tool JSON
    {
      "name": "get_quickstart",
      "kind": "answer",
      "impl": "imperative",
      "description": "Returns ready-to-run installation commands, Homebrew formula, curl installer, and MCP stdio config for agentic-go.",
      "inputSchema": {
        "type": "object",
        "properties": {},
        "additionalProperties": false
      },
      "page": "/"
    }
    generate_install_commandAction

    Generate the terminal installation command for agentic-go based on package manager, operating system, and architecture.

    View tool JSON
    {
      "name": "generate_install_command",
      "kind": "act",
      "impl": "imperative",
      "description": "Generate the terminal installation command for agentic-go based on package manager, operating system, and architecture.",
      "inputSchema": {
        "type": "object",
        "properties": {
          "method": {
            "type": "string",
            "enum": [
              "brew",
              "curl",
              "binary"
            ],
            "description": "Installation method: brew (Homebrew tap), curl (shell installer), or binary (direct release archive)"
          },
          "os": {
            "type": "string",
            "enum": [
              "darwin",
              "linux"
            ],
            "description": "Target operating system (darwin for macOS, linux for Linux)"
          },
          "arch": {
            "type": "string",
            "enum": [
              "arm64",
              "amd64"
            ],
            "description": "Target CPU architecture (arm64 for Apple Silicon/ARM64, amd64 for Intel/x86_64)"
          }
        },
        "required": [
          "method"
        ],
        "additionalProperties": false
      },
      "page": "/"
    }
    generate_mcp_configAction

    Generate JSON configuration snippet for connecting agentic-go with AI coding clients including Claude Desktop, Cursor, Cline, or Claude Code.

    View tool JSON
    {
      "name": "generate_mcp_config",
      "kind": "act",
      "impl": "imperative",
      "description": "Generate JSON configuration snippet for connecting agentic-go with AI coding clients including Claude Desktop, Cursor, Cline, or Claude Code.",
      "inputSchema": {
        "type": "object",
        "properties": {
          "client": {
            "type": "string",
            "enum": [
              "claude",
              "cursor",
              "cline",
              "claudecode"
            ],
            "description": "Target AI coding assistant client"
          },
          "workspace_path": {
            "type": "string",
            "description": "Absolute file path to the target Go workspace directory (defaults to current directory .)"
          }
        },
        "required": [
          "client"
        ],
        "additionalProperties": false
      },
      "page": "/"
    }
    get_tool_catalogAnswer

    Returns the complete frozen surface inventory of agentic-go v1.0.0: 14 tools, 7 resources, 1 resource template, and 6 prompts.

    View tool JSON
    {
      "name": "get_tool_catalog",
      "kind": "answer",
      "impl": "imperative",
      "description": "Returns the complete frozen surface inventory of agentic-go v1.0.0: 14 tools, 7 resources, 1 resource template, and 6 prompts.",
      "inputSchema": {
        "type": "object",
        "properties": {},
        "additionalProperties": false
      },
      "page": "/"
    }
    get_verification_sampleAnswer

    Returns a canonical agentic.verify/v1 verification report payload with whole-package test evidence, race reports, and calibrated uncertainty.

    View tool JSON
    {
      "name": "get_verification_sample",
      "kind": "answer",
      "impl": "imperative",
      "description": "Returns a canonical agentic.verify/v1 verification report payload with whole-package test evidence, race reports, and calibrated uncertainty.",
      "inputSchema": {
        "type": "object",
        "properties": {
          "step": {
            "type": "string",
            "enum": [
              "snapshot",
              "intent",
              "execute",
              "findings",
              "uncertainty"
            ],
            "description": "Optional verification pipeline stage to inspect"
          }
        },
        "additionalProperties": false
      },
      "page": "/"
    }
    inspect_verification_stepAction

    Inspect and navigate to a specific step of the interactive verification pipeline explorer on the page.

    View tool JSON
    {
      "name": "inspect_verification_step",
      "kind": "act",
      "impl": "imperative",
      "description": "Inspect and navigate to a specific step of the interactive verification pipeline explorer on the page.",
      "inputSchema": {
        "type": "object",
        "properties": {
          "step": {
            "type": "string",
            "enum": [
              "snapshot",
              "intent",
              "execute",
              "findings",
              "uncertainty"
            ],
            "description": "The verification pipeline stage to inspect"
          }
        },
        "required": [
          "step"
        ],
        "additionalProperties": false
      },
      "page": "/"
    }
    get_faq_answersAnswer

    Query frequently asked questions and official architectural answers regarding agentic-go, gopls integration, sandboxing, and refactoring safety.

    View tool JSON
    {
      "name": "get_faq_answers",
      "kind": "answer",
      "impl": "imperative",
      "description": "Query frequently asked questions and official architectural answers regarding agentic-go, gopls integration, sandboxing, and refactoring safety.",
      "inputSchema": {
        "type": "object",
        "properties": {
          "topic": {
            "type": "string",
            "description": "Optional FAQ keyword or topic filter (e.g. gopls, git, sandbox, toolchain, open-weight)"
          }
        },
        "additionalProperties": false
      },
      "page": "/"
    }
    get_contract_specificationAnswer

    Returns the official schema specification, invariants, and purpose of an agentic-go protocol contract.

    View tool JSON
    {
      "name": "get_contract_specification",
      "kind": "answer",
      "impl": "imperative",
      "description": "Returns the official schema specification, invariants, and purpose of an agentic-go protocol contract.",
      "inputSchema": {
        "type": "object",
        "properties": {
          "contract": {
            "type": "string",
            "enum": [
              "context",
              "change",
              "verify"
            ],
            "description": "Protocol contract to retrieve (context: agentic.context/v1, change: agentic.change/v1, verify: agentic.verify/v1)"
          }
        },
        "required": [
          "contract"
        ],
        "additionalProperties": false
      },
      "page": "/"
    }