Claim checking judges only against the passages the corpus actually returned and reports insufficient evidence rather than reaching for something plausible, and the evidence-gathering tool is built to report gaps instead of concluding. That is a different contract from a web search wrapped in citations, and it is the reason to reach for this rather than a general search tool — with the matching limitation that anything outside the indexed venues is outside the answer.
A research server over Lune's peer-reviewed corpus spanning security, ML, NLP, CV and systems venues, with retrieval over your own uploaded workspace documents alongside it. Twelve tools cover search, full text, citation lineage, structured extraction, claim checking and methodology guidance, and six guided workflows package the common tasks.
- Search shaped to the kind of research question being asked: search_papers takes one query with conference, venue and year bounds; search_papers_many takes several query angles in a single call for a survey sweep and merges the results; search_related_papers ranks by embedding distance from a paper rather than by citation links.
- Full text at section granularity: get_paper_fulltext returns either one rendered markdown document or a structured section list, and takes a sections argument so a methods or results section can be pulled without the whole paper.
- Citation lineage in either direction: get_paper_citations returns the indexed papers citing this one, or this paper's own parsed references, with paging.
- Structured extraction across a set: extract_from_papers takes a batch of papers, a set of columns you define with names and types, and an instruction, and returns one typed row per paper.
- Claim checking bounded to retrieved passages: verify_claims takes a batch of natural-language claims in one call and returns supported, unsupported or insufficient evidence for each, with a verbatim quote, judged only against what the corpus returned.
- Gap reporting instead of an answer: gather_evidence takes the goal and first angles, searches per angle, decomposes the task into evidence requirements, and reports what is still missing and what to search next.
- Venue browsing and methodology reading: list_conferences narrows tracked venues by research area, get_conference_papers returns a venue's papers by recency or citations, and search_research_guidance then get_research_guidance_doc return curated advice on experiment design, ablations, evaluation and reproducibility.
- Six prompts your client can expose as slash commands: a literature review, related-work finding from your own abstract, a comparison table across papers, fact-checking a draft, tracing a paper's lineage, and grounded methodology advice.
A Lune account and a personal access token. Two ways in: run the npm package locally over stdio with the token in LUNE_API_KEY, or point a client at the hosted endpoint and pass the token — or an OAuth token — as a bearer credential, with nothing installed.
One command plus a key — npx @retrograde-labs/lune-mcp-server, then supply credentials