allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-30 18:56:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1
Research-Stack/5-Applications/tools-scripts/mcp
History
Exact
allaun 5bc4865424 fix(infra): deduplicate MCP servers to reduce memory pressure 
- Replace repo .mcp.json with minimal config (10 essential servers instead
  of 29). Full backup retained as .mcp.json.full.
- Remove inline MCP section from ~/.config/opencode/config.json so OpenCode
  loads only repo .mcp.json (also removes hardcoded Linear token leak).
- Add singleton guards to opencode_prover_mcp.py, token_saver_mcp.py, and
  remote_lean_proof_mcp.py to prevent duplicate instances when multiple
  IDE configs reference them.

Build: N/A (Python shims)
2026-06-21 01:24:56 -05:00
..
build_server.py feat(infra): token-saver MCP — both sides deployed 2026-06-16 20:06:21 -05:00
cloud_bootstrap.sh feat(infra): token-saver MCP — both sides deployed 2026-06-16 20:06:21 -05:00
opencode_prover_mcp.py fix(infra): deduplicate MCP servers to reduce memory pressure 2026-06-21 01:24:56 -05:00
token_saver_mcp.py fix(infra): deduplicate MCP servers to reduce memory pressure 2026-06-21 01:24:56 -05:00