mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-30 18:56:16 +00:00
allaun
318db01e31
Remove EC2/RDS deployment scripts, EC2 watchdog, and RDS substrate provisioning files. Drop the legacy AWS API MCP server from all IDE configs. Replace hardcoded AWS proof-server and RDS default endpoints with localhost/env-only placeholders. Deleted: - 4-Infrastructure/infra/deploy_aws_language_proof_server.sh - 4-Infrastructure/infra/aws_language_proof_server_user_data.sh - 4-Infrastructure/infra/ec2-configuration.nix - 4-Infrastructure/infra/ec2_idle_watchdog.py - 4-Infrastructure/infra/ec2-idle-watchdog.service - 4-Infrastructure/infra/ec2-idle-watchdog.timer - 4-Infrastructure/deploy/rds-substrate/* Changed: - .mcp.json, .cursor/mcp.json, .roo/mcp.json, .vscode/mcp.json: remove aws server, make remote-lean-proof URL env-only - .vscode/settings.json: remoteLeanProof.url -> localhost - 4-Infrastructure/infra/remote_lean_proof_mcp.py: default URL -> localhost - ene-rds/ene-session-sync: default RDS_HOST -> localhost - RECOVERY.md, INFRASTRUCTURE.md, TODO_MAP.md: remove AWS/EC2 refs Build: cargo check ene-rds OK; python3 -m py_compile OK; JSON valid
83 lines
2.7 KiB
JSON
83 lines
2.7 KiB
JSON
{
|
|
"cmake.sourceDirectory": "${workspaceFolder}/2-Search-Space/simulations/heat-2D",
|
|
"files.watcherExclude": {
|
|
"**/.git/objects/**": true,
|
|
"**/.git/subtree-cache/**": true,
|
|
"**/.ipynb_checkpoints/**": true,
|
|
"**/.mypy_cache/**": true,
|
|
"**/.pytest_cache/**": true,
|
|
"**/.ruff_cache/**": true,
|
|
"**/.venv/**": true,
|
|
"**/__pycache__/**": true,
|
|
"**/.lake/**": true,
|
|
"**/target/**": true,
|
|
"**/node_modules/**": true,
|
|
"**/*.jsonl": true,
|
|
"**/*.parquet": true,
|
|
"**/*.vcd": true,
|
|
".changes/**": true,
|
|
"4-Infrastructure/ComfyUI/**": true,
|
|
"3-Mathematical-Models/equations_*/**": true,
|
|
"3-Mathematical-Models/equations_parquet_tagged/**": true,
|
|
"5-Applications/out/**": true,
|
|
"5-Applications/scripts/models/**": true,
|
|
"API KEYS/**": true,
|
|
"Security & Passwords/**": true,
|
|
"ai-math-discovery-systems/**": true,
|
|
"artifacts/**": true,
|
|
"data/**": true,
|
|
"logs/**": true,
|
|
"out/**": true,
|
|
"scratch/**": true,
|
|
"shared-data/**": true
|
|
},
|
|
"search.exclude": {
|
|
"**/.ipynb_checkpoints": true,
|
|
"**/.mypy_cache": true,
|
|
"**/.pytest_cache": true,
|
|
"**/.ruff_cache": true,
|
|
"**/.venv": true,
|
|
"**/__pycache__": true,
|
|
"**/.lake": true,
|
|
"**/target": true,
|
|
"**/node_modules": true,
|
|
"**/*.jsonl": true,
|
|
"**/*.parquet": true,
|
|
"**/*.vcd": true,
|
|
".changes": true,
|
|
"4-Infrastructure/ComfyUI": true,
|
|
"3-Mathematical-Models/equations_*": true,
|
|
"3-Mathematical-Models/equations_parquet_tagged": true,
|
|
"5-Applications/out": true,
|
|
"5-Applications/scripts/models": true,
|
|
"API KEYS": true,
|
|
"Security & Passwords": true,
|
|
"ai-math-discovery-systems": true,
|
|
"artifacts": true,
|
|
"data": true,
|
|
"logs": true,
|
|
"out": true,
|
|
"scratch": true,
|
|
"shared-data": true
|
|
},
|
|
"git.ignoreLimitWarning": true,
|
|
"remoteLeanProof.url": "http://localhost:8787",
|
|
"remoteLeanProof.tokenFile": "/home/allaun/.config/ene/language-proof-server.token",
|
|
"remoteLeanProof.checkOnSave": true,
|
|
"remoteLeanProof.checkOnOpen": true,
|
|
"lean4.envPathExtensions": [
|
|
"/home/allaun/.local/bin/lean4-remote-proxy",
|
|
"/home/allaun/.elan/bin"
|
|
],
|
|
"lean4.automaticallyBuildDependencies": false,
|
|
"lean4.alwaysAskBeforeInstallingLeanVersions": true,
|
|
"lean4.input.enabled": true,
|
|
"lean4.input.languages": [
|
|
"lean4",
|
|
"lean",
|
|
"markdown"
|
|
],
|
|
"lean4.infoview.autoOpen": true,
|
|
"lean4.autofocusOutput": false,
|
|
"lean4.trace.server": "off"
|
|
}
|