豆豆友情提示:这是一个非官方 GitHub 代理镜像,主要用于网络测试或访问加速。请勿在此进行登录、注册或处理任何敏感信息。进行这些操作请务必访问官方网站 github.com。 Raw 内容也通过此代理提供。
Skip to content

chore: add title to the server.json#572

Merged
Lightning00Blade merged 1 commit intomainfrom
add-title-to-server-json
Nov 19, 2025
Merged

chore: add title to the server.json#572
Lightning00Blade merged 1 commit intomainfrom
add-title-to-server-json

Conversation

@Lightning00Blade
Copy link
Copy Markdown
Collaborator

Hopefully this is the property they read to show on the MCP registry.

@Lightning00Blade Lightning00Blade enabled auto-merge (squash) November 18, 2025 19:08
@Lightning00Blade Lightning00Blade merged commit 305d7d7 into main Nov 19, 2025
20 checks passed
@Lightning00Blade Lightning00Blade deleted the add-title-to-server-json branch November 19, 2025 06:56
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.

2 participants