JingboWang1997-1 6ecdecbdcc add excludeTools flag to settings.json config (#957)		2025-06-11 14:32:23 -07:00
..
commands.md	rename shell tool more intuitively as run_shell_command (from historical name of execute_bash_command inherited from terminal tool) (#869)	2025-06-09 08:57:30 -07:00
configuration.md	add excludeTools flag to settings.json config (#957)	2025-06-11 14:32:23 -07:00
index.md	docs: update and reorganize documentation (#806)	2025-06-07 10:47:30 -07:00
themes.md	Add Theme docs (#753)	2025-06-05 08:10:05 -07:00
tutorials.md	docs: Initialize tutorials section with MCP server example	2025-06-06 13:05:13 -04:00