cronekorkn/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs(agents): sourcebot guidance moves to the sourcebot skill

Browse source 
Co-Authored-By: Claude Mythos 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01UH8jPP1zXteddiR9pEd4KE
This commit is contained in:
mwiegand 2026-10-09 22:48:59 +02:00
parent 2163e5e4ef
commit b3432363ed
No known key found for this signature in database
1 changed files with 3 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
agents/AGENTS.md
View file

@ -167,17 +167,9 @@ on your own. Command forms, flags, dataset sharing and failure modes are in the
## Tooling ## Tooling
- **Sourcebot MCP for org repos without a local checkout.** The - **Sourcebot for Seibert repos without a local checkout:** the `sourcebot` skill
`mcp__sourcebot__*` tools (instance sourcebot.it.seibert.diy) search (MCP tools, gotchas such as mirrors and result caps; never `ask_codebase` on
the indexed Seibert codebases — Bitbucket DC/Cloud, Forgejo, your own). A local checkout stays first choice.
seibert-external on GitHub. Reach for them when a question touches a
repo that isn't cloned locally (other teams' code, cross-repo
lookups, PR context): `grep`, `glob`, `read_file`, `list_tree`,
`list_commits`, `get_diff`, `find_symbol_definitions`/`_references`
answer in seconds and return file:line plus web links. A local
checkout stays first choice when it exists. Never call
`ask_codebase` on your own — it spawns a nested server-side agent
(minutes per call, shared vLLM); use it only when explicitly asked.
- **`ccc` before `grep` for concept questions.** In a repo with a - **`ccc` before `grep` for concept questions.** In a repo with a
`.cocoindex_code/` directory, a question about a concept ("where is X `.cocoindex_code/` directory, a question about a concept ("where is X
handled", "what talks to Y", "which code does Z") starts with handled", "what talks to Y", "which code does Z") starts with