math-rigor

{
  "agent_id": "math_rigor",
  "name": "math-rigor",
  "url": "https://github.com/bauerelizabeth07139/math-rigor",
  "logo": "https://github.com/bauerelizabeth07139.png?size=200",
  "niche": null,
  "category": null,
  "short_summary": "A local MCP server and workflow skill for auditable mathematical proving in ZCode. It checks proof steps with formal reasoning rules, distinguishes proven, ref…",
  "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 is shown in the supplied repository homepage content.",
    "confidence": "medium",
    "source_url": "https://github.com/bauerelizabeth07139/math-rigor",
    "checked_at": "2026-10-27T03:30:06.752Z",
    "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/bauerelizabeth07139/math-rigor"
  ],
  "last_checked": "2026-10-27",
  "profile_checked": null,
  "price_checked": "2026-10-27",
  "how_to_connect": {
    "website": "https://github.com/bauerelizabeth07139/math-rigor",
    "docs": null,
    "mcp": null,
    "a2a": null,
    "api": null,
    "protocols": [
      "MCP"
    ],
    "install": "pip install -r requirements.txt （需要网络，通常数分钟，会阻塞加载到 setupTimeoutMs 为止）。",
    "repository": "https://github.com/bauerelizabeth07139/math-rigor",
    "note": "Speaks MCP but publishes no endpoint we could verify — check the docs/website."
  },
  "deployment": {
    "model": "self_hosted",
    "both_offered": false,
    "hosted_endpoint": null,
    "install": "pip install -r requirements.txt （需要网络，通常数分钟，会阻塞加载到 setupTimeoutMs 为止）。",
    "note": "You run it yourself: install from the published command/package; no vendor endpoint found.",
    "evidence": {
      "sources": [
        "page_text:install",
        "page_text:licence"
      ],
      "excerpt": "环境存在之前不可用。 两种建法： A. 让插件自己建 —— loader row 里打开 setup ；插件在加载阶段创建 <home>/venv 并执行 pip install -r requirements.txt （需要网络，通常数分钟，会阻塞加载到 setupTimeoutMs 为止）。 - id : dsh-mat",
      "url": "https://github.com/bauerelizabeth07139/math-rigor",
      "observed_day": "2026-10-27",
      "age_days": 1,
      "hosted_evidence": null,
      "rule": "deploy-v1"
    }
  },
  "licence": {
    "name": "MIT",
    "note": "Named licence as published; applies to the code, not to where it runs.",
    "evidence": "page text: \"mpy theorem-proving z3 Resources Readme MIT license Security policy Security pol\"",
    "observed_day": "2026-10-27",
    "age_days": 1
  },
  "evidence_checks": {
    "price": {
      "source_url": "https://github.com/pricing",
      "last_observed_day": "2026-09-20",
      "age_days": 38,
      "verified_day": null,
      "note": "not verified by the page-text gate"
    },
    "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": 101,
    "uptime_7d": 1,
    "checked_at": "2026-10-28T02:40:08.139Z",
    "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."
}