PaperGraph MCP v0.9.2

Highlights

• Added conservative proof-roadmap extraction for phrases such as It remains to prove Lemmas 1 and 2.
• Resolved grouped singular/plural local result mentions into existing proof dependency evidence.
• Preserved unresolved roadmap mentions for review instead of dropping them.
• Added conservative TeX visible numbering for local result resolution without changing result IDs.
• Carried roadmap dependencies into reading paths and updated release pins for v0.9.2.

Verification

• Local: uv run pytest -> 421 passed, 1 skipped in 36.48s
• PR CI: https://github.com/lotchuazzz-crypto/papergraph-mcp/actions/runs/34202665175 -> success
• Main CI: https://github.com/lotchuazzz-crypto/papergraph-mcp/actions/runs/34203217594 -> success
• Pinned install: uvx --from git+https://github.com/lotchuazzz-crypto/papergraph-mcp.git@v0.9.2 papergraph-mcp --version -> papergraph-mcp 0.9.2

Pull Request

• #17