Sourcegraph

What they work on

• coding-agentssource for coding-agents (another site)
• searchsource for search (another site)
• developer-toolssource for developer-tools (another site)

Each tag links to the page on sourcegraph.com it came from.