🔧

TheoremSearch-MCP

🔧MCP Server

FDscend/TheoremSearch-MCP

Installation

Claude CodeAuto-generated from README. View full documentation on GitHub →

$claude mcp add theoremsearch-local -- python -E ${workspaceFolder}/server.py

MCP Client ConfigurationServer configuration (JSON)

json

{
  "servers": {
    "theoremsearch-local": {
      "type": "stdio",
      "comm...

glama

Last UpdatedAug 6, 2026