Axint✓

The full server descriptor as registered with IndusMCP.

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.agenticempire/axint",
  "description": "Apple-native AI agent execution: 35 MCP tools, 5 prompts, compile, validate, repair, and prove.",
  "title": "Axint",
  "repository": {
    "url": "https://github.com/agenticempire/axint",
    "source": "github"
  },
  "version": "0.4.27",
  "packages": [
    {
      "registryType": "npm",
      "identifier": "@axint/compiler",
      "version": "0.4.27",
      "transport": {
        "type": "stdio"
      }
    },
    {
      "registryType": "pypi",
      "identifier": "axint",
      "version": "0.4.27",
      "transport": {
        "type": "stdio"
      }
    }
  ],
  "remotes": [
    {
      "type": "streamable-http",
      "url": "https://mcp.axint.ai/mcp"
    }
  ],
  "_meta": {
    "dev.indusmcp/source": "official-registry-mirror",
    "dev.indusmcp/synced": "2026-05-12"
  }
}