Logic-LM MCP Server

# Python __pycache__/ *.py[cod] *$py.class *.so .Python build/ develop-eggs/ dist/ downloads/ eggs/ .eggs/ lib/ lib64/ parts/ sdist/ var/ wheels/ share/python-wheels/ *.egg-info/ .installed.cfg *.egg MANIFEST # Virtual environments venv/ env/ ENV/ env.bak/ venv.bak/ test_env/ # IDE .vscode/ .idea/ *.swp *.swo *~ # OS .DS_Store .DS_Store? ._* .Spotlight-V100 .Trashes ehthumbs.db Thumbs.db # Logs *.log logs/ # Testing .coverage .pytest_cache/ .tox/ .nox/ htmlcov/ # MCP Server specific .mcp/ *.sock # Temporary files tmp/ temp/ *.tmp *.temp # Security .env .env.local .env.*.local *.key *.pem # Runtime *.pid