Ajisai

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.masamoto1982/ajisai",
  "description": "Exact rational and algebraic computation, with machine-readable Word contracts, in Ajisai.",
  "title": "Ajisai",
  "repository": {
    "url": "https://github.com/masamoto1982/Ajisai",
    "source": "github",
    "subfolder": "tools/mcp-server"
  },
  "version": "0.7.2",
  "websiteUrl": "https://masamoto1982.github.io/Ajisai/",
  "packages": [
    {
      "registryType": "npm",
      "registryBaseUrl": "https://registry.npmjs.org",
      "identifier": "ajisai-mcp-server",
      "version": "0.7.2",
      "transport": {
        "type": "stdio"
      }
    }
  ]
}