{
  "protocolVersion": "1.0",
  "name": "Semantic Geometry",
  "description": "Deterministic ontological verifier: the LLM proposes, the graph verifies. Sub-millisecond, offline, 0 tokens. Grounds ~2M concepts in a continuous [-1,1]^3 semantic cube. Runs on a 2011 netbook at 15 W, no GPU, no cloud, no network. Verdicts: CONFIRMED, CONFIRMED_BY_PATH, NO_EVIDENCE, NODE_ABSENT, REFUTED, CONFIRMED_NEGATIVE.",
  "version": "1.0.0",
  "provider": {
    "organization": "Semantic Geometry",
    "url": "https://semgeo.cl"
  },
  "documentationUrl": "https://semgeo.cl/llms.txt",
  "iconUrl": "https://semgeo.cl/favicon.svg",
  "url": "https://verify.semgeo.cl/mcp",
  "supportedInterfaces": [
    {
      "url": "https://verify.semgeo.cl/mcp",
      "protocolBinding": "HTTP+JSON",
      "protocolVersion": "2024-11-05"
    }
  ],
  "capabilities": {
    "streaming": false,
    "pushNotifications": false,
    "stateTransitionHistory": false
  },
  "defaultInputModes": ["text/plain", "application/json"],
  "defaultOutputModes": ["application/json"],
  "skills": [
    {
      "id": "sg_verify_claim",
      "name": "Verificar afirmación",
      "description": "Verifica formalmente una afirmación factual u ontológica contra el grafo. Devuelve un veredicto determinista con evidencia (no probabilidad). NO_EVIDENCE cuando el grafo no sostiene la afirmación.",
      "tags": ["verification", "anti-hallucination", "grounding", "ontology"],
      "examples": ["el gato es un mamífero", "el gato es un reptil"],
      "inputModes": ["text/plain"],
      "outputModes": ["application/json"]
    },
    {
      "id": "sg_lookup_concept",
      "name": "Buscar concepto",
      "description": "Busca un concepto en el cubo semántico [-1,1]^3 y devuelve coordenadas, taxonomía y vecinos.",
      "tags": ["semantic", "knowledge-graph", "geometry"],
      "inputModes": ["text/plain"],
      "outputModes": ["application/json"]
    },
    {
      "id": "sg_calculate_math",
      "name": "Cálculo matemático exacto",
      "description": "Evalúa expresiones matemáticas con aritmética exacta (sin muestreo).",
      "tags": ["math", "exact", "deterministic"],
      "inputModes": ["text/plain"],
      "outputModes": ["application/json"]
    }
  ],
  "authentication": {
    "schemes": []
  },
  "_comment": "SG habla MCP (streamable-http), no A2A JSON-RPC nativo. Esta tarjeta declara el endpoint MCP para descubrimiento de agentes."
}