lotchuazzz-crypto/papergraph-mcp

Turn arXiv and LaTeX mathematical papers into theorem depen…