Skip to main content
Glama

Get a paper's Pith review

get_review
Read-onlyIdempotent

Pith's review of one specific paper, in one call: the verdict, confidence, novelty and correctness scores, one-line summary, weakest assumption, and the paper's argument as short labeled statements (premise, machinery, core claim, falsifier) already extracted, so the paper's premises and logical structure can be stated without reading the PDF. Use this for any question about a specific paper: what it asserts, what it assumes, how the argument runs, how sound it is, or what Pith concluded. Accepts an arXiv id or URL, DOI, or Pith Number.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
arxiv_idYesAny form the user gave: bare arXiv id (2401.00001), arXiv abs/pdf URL, DOI or doi.org URL, or Pith Number.

Output Schema

TableJSON Schema
NameRequiredDescriptionDefault
urlNo
leadNo
leanNo
noteNo
foundYes
titleNo
verdictNo
argumentNo
arxiv_idNo
falsifierNo
confidenceNo
core_claimNo
primary_catNo
reviewed_atNo
source_nameNo
citation_urlNo
submitted_atNo
novelty_scoreNo
discovery_kindNo
correctness_riskNo
one_line_summaryNo
weakest_assumptionNo

Schema Changelog

Changes observed during successful MCP inspections.

  1. Changed3 schema fields changed
    • addedOutput schema / $defs / LeanStatement
      Added value: +{
      +  "properties": {
      +    "anchor_verdict": {
      +      "title": "Anchor Verdict",
      +      "type": "string"
      +    },
      +    "decl": {
      +      "title": "Decl",
      +      "type": "string"
      +    },
      +    "label": {
      +      "title": "Label",
      +      "type": "string"
      +    },
      +    "lean_statement": {
      +      "title": "Lean Statement",
      +      "type": "string"
      +    },
      +    "paper_claim_key": {
      +      "anyOf": [
      +        {
      +          "type": "string"
      +        },
      +        {
      +          "type": "null"
      +        }
      +      ],
      +      "title": "Paper Claim Key"
      +    },
      +    "referee_judgments": {
      +      "items": {
      +        "additionalProperties": true,
      +        "type": "object"
      +      },
      +      "title": "Referee Judgments",
      +      "type": "array"
      +    }
      +  },
      +  "required": [
      +    "decl",
      +    "label",
      +    "lean_statement",
      +    "paper_claim_key",
      +    "anchor_verdict",
      +    "referee_judgments"
      +  ],
      +  "title": "LeanStatement",
      +  "type": "object"
      +}
    • addedOutput schema / $defs / LeanSummary
      Added value: +{
      +  "description": "The paper's latest Lean build on Pith and published referees' sign-offs on it.",
      +  "properties": {
      +    "mathlib": {
      +      "anyOf": [
      +        {
      +          "type": "string"
      +        },
      +        {
      +          "type": "null"
      +        }
      +      ],
      +      "title": "Mathlib"
      +    },
      +    "note": {
      +      "title": "Note",
      +      "type": "string"
      +    },
      +    "statements": {
      +      "items": {
      +        "$ref": "#/$defs/LeanStatement"
      +      },
      +      "title": "Statements",
      +      "type": "array"
      +    },
      +    "status": {
      +      "title": "Status",
      +      "type": "string"
      +    },
      +    "toolchain": {
      +      "anyOf": [
      +        {
      +          "type": "string"
      +        },
      +        {
      +          "type": "null"
      +        }
      +      ],
      +      "title": "Toolchain"
      +    }
      +  },
      +  "required": [
      +    "status",
      +    "toolchain",
      +    "mathlib",
      +    "statements",
      +    "note"
      +  ],
      +  "title": "LeanSummary",
      +  "type": "object"
      +}
    • addedOutput schema / properties / lean
      Added value: +{
      +  "anyOf": [
      +    {
      +      "$ref": "#/$defs/LeanSummary"
      +    },
      +    {
      +      "type": "null"
      +    }
      +  ]
      +}
  2. First observed

TDQS

Score is being calculated.

Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources