Chiasmus

{
  "agent_id": "chiasmus",
  "name": "Chiasmus",
  "url": "https://github.com/yogthos/chiasmus",
  "logo": "https://github.com/yogthos.png?size=200",
  "niche": "security-scanning-vulnerability",
  "category": "developer-tools-infra",
  "short_summary": "MCP server enabling LLMs to perform formal verification via Z3 SMT solver and SWI-Prolog, with tree-sitter code analysis for constraint solving, taint tracking…",
  "task_performed": "unclear",
  "inputs_accepted": [],
  "outputs_produced": [],
  "integrations_available": [],
  "protocols_or_interfaces": [
    "MCP"
  ],
  "industry_fit": [],
  "autonomy_level": "unclear",
  "human_approval_needed": "unclear",
  "pricing_model": "unclear",
  "price": {
    "observed": false,
    "billing": "not_found",
    "currency": null,
    "lowest_monthly_usd": null,
    "monthly_usd": null,
    "headline": "No public price found",
    "summary": "No public pricing or paid plans were shown in the supplied repository page.",
    "confidence": "medium",
    "source_url": "https://github.com/yogthos/chiasmus",
    "checked_at": "2026-10-21T01:26:11.293Z",
    "source_kind": "vendor",
    "amount": null,
    "display": null,
    "plans": [],
    "source": "render+llm"
  },
  "trust_or_rating_signal": [],
  "evidence_quality": "unclear",
  "entity_type": "mcp_server",
  "regulated_data_suitability": "unclear",
  "evidence_urls": [
    "https://github.com/yogthos/chiasmus"
  ],
  "last_checked": "2026-10-21",
  "profile_checked": null,
  "price_checked": "2026-10-21",
  "how_to_connect": {
    "website": "https://github.com/yogthos/chiasmus",
    "docs": null,
    "mcp": null,
    "a2a": null,
    "api": null,
    "protocols": [
      "MCP"
    ],
    "install": "npm install -g chiasmus Claude Code claude mcp add chiasmus -- npx -y c",
    "repository": "https://github.com/yogthos/chiasmus",
    "note": "Speaks MCP but publishes no endpoint we could verify — check the docs/website."
  },
  "deployment": {
    "model": "both",
    "both_offered": false,
    "hosted_endpoint": null,
    "install": "npm install -g chiasmus Claude Code claude mcp add chiasmus -- npx -y c",
    "note": "Offered both ways: a vendor-hosted endpoint AND a self-run install are documented.",
    "evidence": {
      "sources": [
        "page_text:hosted",
        "page_text:install",
        "page_text:licence"
      ],
      "excerpt": "n starting its own npx chiasmus stdio process, you can run one Chiasmus process as a Streamable HTTP server and point clients that support URL-based MCP servers at it: ch",
      "url": "https://github.com/yogthos/chiasmus",
      "observed_day": "2026-10-26",
      "age_days": 2,
      "hosted_evidence": "wording: \"Streamable HTTP\"",
      "rule": "deploy-v1"
    }
  },
  "licence": {
    "name": "APACHE",
    "note": "Named licence as published; applies to the code, not to where it runs.",
    "evidence": "page text: \"r prolog z3-smt-solver Resources Readme Apache-2.0 license Activity Stars 218 st\"",
    "observed_day": "2026-10-26",
    "age_days": 2
  },
  "evidence_checks": {
    "price": {
      "status": "unknown",
      "note": "no observed price page text held for this listing"
    },
    "agent_card": {
      "status": "unknown",
      "note": "no Agent Card URL recorded for this listing"
    },
    "endpoint": {
      "status": "unknown",
      "note": "endpoint not yet checked"
    }
  },
  "product_group": null,
  "liveness": {
    "probed": true,
    "alive": true,
    "endpoint_kind": "site",
    "latency_ms": 92,
    "uptime_7d": 1,
    "checked_at": "2026-10-27T02:32:52.313Z",
    "consecutive_failures": 0,
    "status": "alive"
  },
  "price_extras": {
    "free_tier": null,
    "unit_cost": null
  },
  "reported_success": null,
  "feedback": "If you actually use this provider, call report_outcome with the result. Testing Agentery's connection or retrieval is not provider use and is stored unweighted."
}