codex - 💡(How to fix) Fix LARK Grammar support for app-server dynamic tools

Official PRs (…)
ON THIS PAGE

Recommended Tools

×6

Utilities matched from this issue’s tags and category — try them while you read without losing context.

GitHub issue graph ai analysis

Paste a GitHub issue URL. We fetch that issue, discover linked issues from bodies/comments/timeline, collect linked pull requests, and produce a structured English report.

The report is written in English Markdown for sharing and archival.

Helpful · Quick feedback

Loading…

Fix Action

Fix / Workaround

I have several free-form tools, matching how apply_patch is designed, enforcing things like LSP requests, symphony-style work-pad updates, LLM-based granular code-reviews / lints.

I would like to enforce grammar correctness with these tools via a LARK grammar, matching how the apply_patch tool works.

RAW_BUFFERClick to expand / collapse

What variant of Codex are you using?

CLI / app-server

What feature would you like to see?

LARK Grammar support for app-server dynamic tools.

I have several free-form tools, matching how apply_patch is designed, enforcing things like LSP requests, symphony-style work-pad updates, LLM-based granular code-reviews / lints.

I would like to enforce grammar correctness with these tools via a LARK grammar, matching how the apply_patch tool works.

I understand MCP tooling is tied to the MCP specification, which does not support this, but perhaps app-server dynamic tools can be more flexible? As an extension to this, ideally there would be a path for LARK grammar support in "plugins"? (Even more ideally, the MCP specification would support these freeform grammars!)

Additional information

I'm currently maintaining a codex fork, which is burdensome compared to first-party support for LARK grammar structured decoding for external tooling.

Vote matrix · Quick signals

Works
Did the solution work? Tap to confirm.
Easy Fix
Was it a quick fix?
Time Saver
Did it save you time?
Blocking
Was it severely blocking?
Common Issue
Are others likely hitting this too?
Flaky / Intermittent
Is it intermittent?
Verified / Reproducible
Can you reproduce it reliably?
Loading…

Still need to ship something?

×6

Another batch ranked right after the header list — different links, same matching logic.

Back to top recommendations

TRENDING

codex - 💡(How to fix) Fix LARK Grammar support for app-server dynamic tools