Research-Stack

allaun/Research-Stack

Fork 0

mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-08-10 06:00:35 +00:00

Commit graph

Author	SHA1	Message	Date
allaun	69988453bc	chore(infra): stage working tree modifications Build: 8604 jobs, 0 errors (lake build)	2026-06-22 01:23:17 -05:00
allaun	318db01e31	refactor(infra): decommission AWS deployment artifacts 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	2026-06-19 22:42:34 -05:00
Brandon Schneider	9d450756c1	Expand ene-rds Rust workspace and refine devcontainer - Add ene-node, ene-rds-chat, ene-rds-ephemeral, ene-rds-wiki, ene-storage, ene-sync crates to the ene-rds workspace - Extend ene-rds-core with shared types and cluster messaging - Add review doc and wiki page for the RDS Rust workspace - Fix devcontainer: custom /etc/passwd with researcher user, add gcc/glibc/binutils for VS Code server compatibility, include util-linux, gnutar, gzip; add LD_LIBRARY_PATH - Ignore Nix build output (`result`) and Rust artifacts Generated with [Devin](https://cli.devin.ai/docs) Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>	2026-05-19 07:52:39 +00:00

Author

SHA1

Message

Date

allaun

69988453bc

chore(infra): stage working tree modifications

Build: 8604 jobs, 0 errors (lake build)

2026-06-22 01:23:17 -05:00

allaun

318db01e31

refactor(infra): decommission AWS deployment artifacts

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

2026-06-19 22:42:34 -05:00

Brandon Schneider

9d450756c1

Expand ene-rds Rust workspace and refine devcontainer

- Add ene-node, ene-rds-chat, ene-rds-ephemeral, ene-rds-wiki,
  ene-storage, ene-sync crates to the ene-rds workspace
- Extend ene-rds-core with shared types and cluster messaging
- Add review doc and wiki page for the RDS Rust workspace
- Fix devcontainer: custom /etc/passwd with researcher user,
  add gcc/glibc/binutils for VS Code server compatibility,
  include util-linux, gnutar, gzip; add LD_LIBRARY_PATH
- Ignore Nix build output (`result`) and Rust artifacts

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>

2026-05-19 07:52:39 +00:00

3 commits