/llms.txt is token-efficient for a stranger: the 170-line MCP tool list is folded to what they can use, plus one line for the rest #8289

Lab's /llms.txt is 17.5 KB, and 14.1 KB of it is the "## MCP tools" section: about 170 tools, each on its own line. A visitor without an account can use one of them, report, so most of what they read is tools they cannot call. The manifest is meant to be role-aware and token-efficient.

Done when:

• [ ] For a request with no account, the MCP tools section lists the token-free tools in full (today only report), then one line: how many more there are with an account, and where the full list is (MCP tools/list once signed in, and /contract/openapi.json)
• [ ] For a signed-in request, the section stays as it is today
• [ ] The anonymous /llms.txt is under 5 KB on a forge with no public repositories, and a test asserts that size
• [ ] Every tool name still in the anonymous text is one tools/list returns, tested

Files: src/web/llms_tools.ts, src/web/standards.ts, test/llms-anonymous.test.ts Risk: /llms.txt is cached publicly. If it starts to vary by session, it needs Vary: Cookie, Authorization (lab already sends that) or a private cache for signed-in readers. Check this. #8273 edits another section of standards.ts; keep to this one.