AIMDS Integration + Midstream Compilation Fixes + aimds-core Publication

AIMDS/.env.example

@@ -0,0 +1,34 @@
+# AIMDS Gateway Configuration
+
+# Gateway
+GATEWAY_PORT=3000
+GATEWAY_HOST=0.0.0.0
+ENABLE_COMPRESSION=true
+ENABLE_CORS=true
+RATE_LIMIT_WINDOW_MS=60000
+RATE_LIMIT_MAX=1000
+REQUEST_TIMEOUT=30000
+SHUTDOWN_TIMEOUT=10000
+
+# AgentDB
+AGENTDB_PATH=./data/agentdb
+AGENTDB_EMBEDDING_DIM=384
+AGENTDB_HNSW_M=16
+AGENTDB_HNSW_EF_CONSTRUCTION=200
+AGENTDB_HNSW_EF_SEARCH=100
+AGENTDB_QUIC_ENABLED=false
+AGENTDB_QUIC_PEERS=
+AGENTDB_QUIC_PORT=4433
+AGENTDB_MEMORY_MAX_ENTRIES=100000
+AGENTDB_MEMORY_TTL=86400000
+
+# lean-agentic
+LEAN_ENABLE_HASH_CONS=true
+LEAN_ENABLE_DEPENDENT_TYPES=true
+LEAN_ENABLE_THEOREM_PROVING=true
+LEAN_CACHE_SIZE=10000
+LEAN_PROOF_TIMEOUT=5000
+
+# Logging
+LOG_LEVEL=info
+NODE_ENV=development

AIMDS/.gitignore

@@ -0,0 +1,35 @@
+# Dependencies
+node_modules/
+target/
+
+# Build output
+dist/
+*.js
+*.d.ts
+*.map
+
+# Environment
+.env
+.env.local
+
+# IDE
+.vscode/
+.idea/
+*.swp
+*.swo
+
+# Logs
+*.log
+logs/
+
+# OS
+.DS_Store
+Thumbs.db
+
+# Test
+coverage/
+.nyc_output/
+
+# Rust
+Cargo.lock
+**/*.rs.bk