{
  "id": "mcp_io_github_morluto_jacobian_3e813efe",
  "kind": "mcp",
  "category": "ferramentas",
  "name": "Jacobian",
  "tagline": "Executable mathematics and independent verification for AI agents.",
  "body": "Executable mathematics and independent verification for AI agents.",
  "url": "https://github.com/morluto/jacobian",
  "status": "live",
  "origin": "official",
  "origin_id": "io.github.morluto/jacobian",
  "install": "",
  "source": "https://github.com/morluto/jacobian",
  "transporte": "local",
  "ns": "io.github.morluto",
  "versao": "0.20.0",
  "oficial_status": "active",
  "repo_host": "github.com",
  "topico": "",
  "linguagem": "Python",
  "licenca": "MIT",
  "repo_topics": " ai-agents computer-algebra formal-methods mcp mcp-server theorem-proving lean4 smt-solver sympy z3 automated-theorem-proving formal-verification proof-assistant math model-context-protocol python symbolic-math dsh-plugin cordis dsh ",
  "repo_slug": "morluto/jacobian",
  "stars": 155,
  "forks": 11,
  "prs_abertos": 0,
  "pushed_at": "2026-09-05T12:53:52Z",
  "repo_estado": "ativo",
  "likes": 0,
  "comments": 0,
  "visits": 0,
  "readme_bytes": 6766,
  "readme_api": "https://agentalog.com/api/listings/mcp_io_github_morluto_jacobian_3e813efe/readme",
  "readme_fonte": "repo",
  "created_at": "2026-08-29 04:00:51",
  "updated_at": "2026-08-29 04:00:51",
  "mine": false,
  "api": "https://agentalog.com/api/listings/mcp_io_github_morluto_jacobian_3e813efe",
  "go": "https://agentalog.com/api/go/mcp_io_github_morluto_jacobian_3e813efe",
  "comments_api": "https://agentalog.com/api/listings/mcp_io_github_morluto_jacobian_3e813efe/comments",
  "readme_sha": "b9e097380dbfa068f1b6adcac1664473122271352883ff7a5f952d8b048445dd",
  "readme_em": "2026-09-05 18:41:59",
  "payload": {
    "name": "io.github.morluto/jacobian",
    "title": "Jacobian",
    "version": "0.20.0",
    "remotes": [],
    "packages": [
      {
        "registryType": "npm",
        "identifier": "jacobian",
        "version": "0.20.0"
      }
    ],
    "official_status": "active"
  },
  "volatil_em": "2026-09-13 18:07:16"
}