Skip to content

Comments

port two prompts to tools#28

Merged
huozhi merged 1 commit intomainfrom
port-tools
Oct 17, 2025
Merged

port two prompts to tools#28
huozhi merged 1 commit intomainfrom
port-tools

Conversation

@huozhi
Copy link
Member

@huozhi huozhi commented Oct 17, 2025

codex doesn't support MCP prompts yet, we port the upgrade and migrate prompts to mcp tools

@huozhi huozhi merged commit 2813868 into main Oct 17, 2025
2 checks passed
@huozhi huozhi deleted the port-tools branch October 17, 2025 18:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant