"AOL" matching MCP servers:

• FOL Prover MCP Server

  NewJerseyStyle

  A

  license

  A

  quality

  C

  maintenance

  An MCP server for first-order logic theorem proving supporting multiple provers like Vampire, E, and Prover9, with built-in simple prover, session management, and TPTP export.

  Last updated 2026-01-25

  13

  1

  MIT

• Mol-MCP

  lukasmki

  F

  license

  B

  quality

  D

  maintenance

  Provides computational chemistry tools for LLMs, enabling molecular operations like SMILES processing and geometry manipulation via a modular agent and tool system.

  Last updated 2026-01-15

  9

• 全A解析（QuantAll）MCP Server

  mifochen

  A

  license

  -

  quality

  B

  maintenance

  A local, fully vectorized computational engine for stock market analysis that enables AI to perform factor calculation, strategy backtesting, IC analysis, and GPU-based multi-dimensional visualization using local DuckDB data.

  Last updated 2026-07-24

  MIT

• Extremis Memory Connector for

  ashwanijha04

  A

  license

  -

  quality

  A

  maintenance

  Give long term memory to your agents without building the RAG pipelines.

  Last updated 2026-06-06

  1

  MIT

• mcp-streamable-http

  alejandro-ao

  F

  license

  -

  quality

  D

  maintenance

  A step-by-step guide and complete working example for building and running an MCP server with streamable HTTP transport using Python, mcp, and FastAPI, enabling AI assistants to access tools over HTTP.

  Last updated 2025-07-28

  31

• mlflow-mcp-server

  us-all

  A

  license

  B

  quality

  A

  maintenance

  MLflow MCP — 82 tools for experiments, runs, registered models, traces, assessments. MLflow 3 GenAI traces support with analyze-failed-traces workflow Prompt.

  Last updated 2026-07-10

  82

  56

  1

  MIT