mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-30 18:56:16 +00:00
allaun
5bea52a09a
Added a python-based wrapper script for lean-lsp-mcp that intercepts and cleans the 'severity' schema field from the tools/list output, resolving the 400 error from Moonshot API which strictly forbids defining 'type' in parent schemas alongside 'anyOf'. Build: 3314 jobs, 0 errors (lake build)
88 lines
No EOL
2.2 KiB
JSON
88 lines
No EOL
2.2 KiB
JSON
{
|
|
"servers": {
|
|
"contextstream": {
|
|
"type": "http",
|
|
"url": "https://mcp.contextstream.io/mcp?default_context_mode=fast",
|
|
"headers": {
|
|
"X-ContextStream-Toolset": "complete",
|
|
"X-ContextStream-Output-Format": "compact",
|
|
"X-ContextStream-Search-Limit": "15",
|
|
"X-ContextStream-Search-Max-Chars": "2400",
|
|
"X-ContextStream-Transcripts-Enabled": "true",
|
|
"X-ContextStream-Consolidated": "true"
|
|
}
|
|
},
|
|
"remote-lean-proof": {
|
|
"type": "stdio",
|
|
"command": "python3",
|
|
"args": [
|
|
"4-Infrastructure/infra/remote_lean_proof_mcp.py"
|
|
],
|
|
"env": {
|
|
"PROOF_SERVER_URL": "${PROOF_SERVER_URL}",
|
|
"PROOF_SERVER_TOKEN_FILE": "/home/allaun/.config/ene/language-proof-server.token"
|
|
}
|
|
},
|
|
"deepseek-prover": {
|
|
"type": "stdio",
|
|
"command": "python3",
|
|
"args": [
|
|
"4-Infrastructure/infra/deepseek_prover_mcp.py"
|
|
],
|
|
"env": {
|
|
"DEEPSEEK_PROVER_BACKEND": "ollama",
|
|
"OLLAMA_URL": "http://localhost:11434",
|
|
"LAKE_WORKDIR": "/home/allaun/Research Stack/0-Core-Formalism/lean/Semantics"
|
|
}
|
|
},
|
|
"vikunja": {
|
|
"type": "stdio",
|
|
"command": "python3",
|
|
"args": [
|
|
"4-Infrastructure/infra/vikunja_mcp.py"
|
|
],
|
|
"env": {
|
|
"VIKUNJA_URL": "http://100.92.88.64:3456",
|
|
"VIKUNJA_TOKEN_FILE": "/home/allaun/.config/ene/vikunja.token"
|
|
}
|
|
},
|
|
"lean-lsp": {
|
|
"type": "stdio",
|
|
"command": "python3",
|
|
"args": [
|
|
"4-Infrastructure/infra/lean_lsp_mcp_wrapper.py",
|
|
"--lean-project-path",
|
|
"0-Core-Formalism/lean/Semantics"
|
|
],
|
|
"env": {}
|
|
},
|
|
"k8s": {
|
|
"type": "stdio",
|
|
"command": "npx",
|
|
"args": [
|
|
"-y",
|
|
"kubernetes-mcp-server@latest",
|
|
"--read-only"
|
|
],
|
|
"env": {}
|
|
},
|
|
"arxiv": {
|
|
"type": "stdio",
|
|
"command": "uvx",
|
|
"args": [
|
|
"arxiv-mcp-server",
|
|
"--storage-path",
|
|
"/home/allaun/.arxiv-papers"
|
|
],
|
|
"env": {}
|
|
},
|
|
"nixos": {
|
|
"type": "stdio",
|
|
"command": "uvx",
|
|
"args": [
|
|
"mcp-nixos"
|
|
],
|
|
"env": {}
|
|
}
|
|
}
|
|
} |