allaun 8adfe4d92f chore(infra): stage working tree modifications ... Build: 8604 jobs, 0 errors (lake build)		2026-06-22 01:23:17 -05:00
..
access_control
embedded_surface	fix(deps): audit-driven updates across npm, pnpm, cargo, pip	2026-06-20 19:00:38 -05:00
ene-rds	chore(infra): stage working tree modifications	2026-06-22 01:23:17 -05:00
ene-session-sync	chore(infra): stage working tree modifications	2026-06-22 01:23:17 -05:00
ene_plugins/tiddlywiki_bridge
nodes
service-orchestrator
shims
backup-appflowy-db.sh
deepseek_prover_mcp.py
deploy_language_proof_server.sh
ene_cognitive_refactor_plan.md
ene_contextstream_mcp.py
language_proof_server.py
lean_lsp_mcp_wrapper.py	fix(infra): wrap lean-lsp-mcp to correct severity schema for Moonshot API	2026-06-22 01:11:12 -05:00
nixos-setup-cred-server.sh
NV2
RECOVERY.md
remote_lean_proof_mcp.py	fix(infra): deduplicate MCP servers to reduce memory pressure	2026-06-21 01:24:56 -05:00
requirements_knowledge.txt
shape_index_mcp.py
vikunja_mcp.py