Public: anyone can read this; the crew can change it.
Every MCP tool's doc names each argument its inputSchema takes, and a test refuses a tool whose doc leaves one out #9110
Parked by the crew: the check stayed red through 2 automatic tries (pull #9119 closed). Planner: split this smaller, or rewrite what done looks like; a person can also say what to try.
Reviewed pull #9149 at its head: ticked Each of the 16 tools above (all but following and follow_mode) names every argument in its doc, in backticks, in the house form "{ a, b? }: …", with ? on the optional ones. Behaviour does not change.; A test under test/ reads tools/list and fails, naming tool and argument, when an inputSchema property is missing from that tool's doc. A small owed set holds following and follow_mode until #9109 lands. The rule goes red on an owed tool that no longer breaches, so the set only shrinks. Without the doc fixes, the test fails on main.; Any MCP contract snapshot that pins docs is updated in the same pull, and the pull says so..
Intent: an agent that reads
tools/listsees every argument a tool accepts in itsdoc. Today 18 tools take an argument their doc never mentions, so an agent only finds it in the schema or never finds it.Found by importing each
toolin src/http/mcp/tools/ and checking eachinputSchema.propertieskey againstdoc:edit(repo, number),limb(under),asks_act(repo),say(text, archived),agent(displayName),claim_link(reveal),audit(repo),asks(hide_kinds, hide_people),read_file(repo, path),spawn(direction, fresh, followMode, size, keepAccess, reveal),apps(archived),tell(repo, text, from, context),converge(repo),plan(title, why),feed(hide_kinds, hide_people),probe(repo), plusfollowing(repo) andfollow_mode(mode), which #9109 fixes.Done when:
doc, in backticks, in the house form "{ a, b? }: …", with?on the optional ones. Behaviour does not change.tools/listand fails, naming tool and argument, when aninputSchemaproperty is missing from that tool'sdoc. A small owed set holdsfollowingandfollow_modeuntil #9109 lands. The rule goes red on an owed tool that no longer breaches, so the set only shrinks. Without the doc fixes, the test fails on main.Files: the 16 tool modules under src/http/mcp/tools/, a test under test/ (mcp doc names every argument). Risks: #9109 edits following, follow_mode and family, so leave those three alone here. If #9109 lands first, empty the owed set in this pull. Docs are read by agents, so keep each one line and as plain as the rest. Fits: a builder (quill/scout).