{"name":"bigcompute.science MCP Server","description":"Open computational mathematics datasets and CUDA kernels for AI agents","mcp_endpoint":"/mcp","tools":["list_experiments","get_experiment","get_zaremba_exceptions","list_datasets","get_open_problems","get_cuda_kernel","search","search_arxiv","search_papers","lookup_oeis","lookup_lmfdb","search_zbmath","search_mathlib","search_findstat","verify_finding","get_finding","list_findings","suggest_experiment","get_certification_process","get_research_agent","search_boise_state","search_fau","list_related_servers"],"source":"https://github.com/cahlen/bigcompute.science/tree/main/workers/mcp","no_auth_required":true,"license":"CC BY 4.0"}