app-server README lists nonexistent tool/requestUserInput method

Open Beginner friendly
#25,544 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
1/5
Estimated time
Under an hour
Newbie friendliness
85/100
Issue type
Documentation
Clarity
Clearly specified
Activity status
Quiet
Tech stack
rust
Domain
documentation

Research direction

Locate the app-server README method list and compare it with the later request_user_input section and the Rust protocol definition mentioned in the issue. Replace the shortened method name so the README consistently documents item/tool/requestUserInput, then verify both README references match.

Written by the indexing model from the issue text.

Description

app-server documentation
What happened?

The app-server README method list includes:

tool/requestUserInput

However, the generated protocol types and Rust protocol definition use the server-initiated method name:

item/tool/requestUserInput

The same README later uses item/tool/requestUserInput in the request_user_input section, so the method list appears to have a stale or shortened method name.

Expected behavior

The app-server README should consistently document the actual server request method as item/tool/requestUserInput.

Additional context

I searched open issues and PRs for terms including tool/requestUserInput, item/tool/requestUserInput, requestUserInput, and app-server README, and did not find an existing open item that appears to cover this method-name mismatch.

Dominant language
Rust
Stars
125k
Forks
19.5k
Avg merge
1m
Merged PRs (30d)
1k

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from openai/codex

All issues in openai/codex

Similar issues

More Rust issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.