Turn arXiv and LaTeX mathematical papers into theorem dependency graphs for AI agents through MCP.
lotchuazzz-crypto/papergraph-mcp: Turn arXiv and LaTeX mathematical papers into theorem dependency graphs for AI agents through MCP.
Related
LengthPanther/aion-2-trainer-tool: Aion 2 pre-configured production build for isolated local environment workstation deployment, ensuring seamless AI-driven prompt...
Aion 2 pre-configured production build for isolated local environment workstation deployment, ensuring seamless AI-driven prompt...
deepsailorvoid/aida-64-extreme: Aida 64 Extreme pre-configured production build for isolated local environment workstation deployment.
Aida 64 Extreme pre-configured production build for isolated local environment workstation deployment.
dimensiondriverarbor/aion-2-trainer-tool: Aion 2, a cutting-edge AI-driven software suite for advanced prompt engineering tasks, offers a pre-configured environment designed to...
Aion 2, a cutting-edge AI-driven software suite for advanced prompt engineering tasks, offers a pre-configured environment designed to...