"Coda" matching MCP servers:

Enables exploration and computation of mathematical integer sequences from OEIS using the LODA assembly language. Supports sequence discovery, program execution, algorithmic mining, and real-time computation of mathematical sequences.

MCP server for Codabench REST API that enables AI agents to drive a full participant ML-benchmark workflow: discover competitions, download data, submit, poll, and read leaderboards.

Read-only Model Context Protocol tools for evidence-based development cooperation and ODA research.

Provides tools to search and execute Code Ocean capsules and pipelines while managing platform data assets. It enables users to interact with Code Ocean's computational resources and scientific workflows directly through natural language interfaces.

Enables MCP clients to fetch live football odds and team form, and flag matches where the market price diverges from a simple form-based estimate.

Research-grounded MCP server that provides evaluation lenses and conceptual boundaries for analyzing interestingness, enabling AI to assess humor, curiosity, and suspense without scoring content.

Enables AI clients to query ContentRadar data and write low-risk content using natural language, with 15 tools for monitoring, analysis, and content management.

Enables searching and reading a library of PDF books page by page, and verifying whether a quote appears on its cited page.

Enables searching and discovering machine learning papers, state-of-the-art benchmarks, tasks, datasets, methods, and leaderboards from Papers with Code. Supports mapping papers to their benchmark results and browsing evaluation tables.