James Peter 32561af3aa fix(core/mcp): honor per-server startup_timeout_ms and make tools/list failures non-fatal; add test MCP server + smoke harness to validate slow/fast scenarios ...

- Add  to  and parse/write in config
- Apply per-server timeout to  and initial
- Treat per-server  errors as non-fatal; record and skip those servers
- Keep manager creation successful even if some servers time out
- Export  so local smoke tool can exercise it
- Add  (stdio JSON-RPC) and  binary for manual validation
- Update TUI  to set  by default

This resolves GitHub issue #91 where a slow MCP server caused manager creation to time out and fail entirely.

2025-09-12 00:10:56 +10:00

..

upstream-merge

Merge upstream-merge into main: restore fork features and keep upstream improvements

2025-09-11 20:55:52 +10:00

windows

fix(core/mcp): honor per-server startup_timeout_ms and make tools/list failures non-fatal; add test MCP server + smoke harness to validate slow/fast scenarios

2025-09-12 00:10:56 +10:00

ci-tests.sh

ci(release): add preflight E2E tests and per-target post-build smokes; fix duplicate workflow block

2025-09-09 10:59:49 +10:00

generate-homebrew-formula.sh

fix(tui/input): normalize KeyEvent kind on non-enhanced terminals to restore typing on Git Bash/mintty (Windows)

2025-09-03 21:44:29 +10:00

upgrade_spinners.rs

ux(spinners): keep grouped order and render group headers as dim title rows; add selector arrow back\n\n- Sort spinners by (group,name) from JSON (grouped or flat)\n- Spinner list shows dim group header rows (non-selectable) between groups\n- Selected row gets '› ' arrow and info-colored preview; others dim\n- Add Node script to upgrade spinners.json to grouped format with labels

2025-09-10 12:11:41 +10:00

upgrade-spinners.js

ux(spinners): keep grouped order and render group headers as dim title rows; add selector arrow back\n\n- Sort spinners by (group,name) from JSON (grouped or flat)\n- Spinner list shows dim group header rows (non-selectable) between groups\n- Selected row gets '› ' arrow and info-colored preview; others dim\n- Add Node script to upgrade spinners.json to grouped format with labels

2025-09-10 12:11:41 +10:00