bilibili-huasheng-video
v0.5.0
MCP ServerMCP Registry
io.github.superlcr/bilibili-huasheng-video
Script to finished Bilibili video with Huasheng: storyboard, narration, footage, export, publish.
stdionpmregistry 收录
io.github.zengineco/gonzalgo · v0.5.2
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
gonzalgo 是一个MCP Server，收录自 官方 MCP Registry。支持 stdio 传输。本页提供 Cursor、Claude Code 等客户端的安装配置片段。
选择你的平台查看安装方式
{
"mcpServers": {
"gonzalgo": {
"command": "uvx",
"args": [
"gonzalgo"
]
}
}
}v0.5.0
io.github.superlcr/bilibili-huasheng-video
Script to finished Bilibili video with Huasheng: storyboard, narration, footage, export, publish.
v0.7.0
com.cromanion/cromanion
Raise conversion on a site you manage. No API key, no human to wake — you prove the domain.
v0.1.2
io.github.agentwares/agentguard
MCP policy proxy: spend caps, approvals for destructive tools, kill switch, dry-run, audit log.
v0.1.0
io.github.pipeworx-io/china-air-quality
China Air Quality MCP — nationwide hourly AQI from CNEMC (中国环境监测总站).
v0.7.0
io.github.conorbronsdon/substack-mcp
Substack drafts, Notes, analytics and consented subscribers. Long-form posts stay draft-only.
v0.4.2
io.github.lvlrSajjad/simframe
Always-warm iOS Simulator frames: agents read the screen in ~20ms instead of screenshotting
{
"id": "io.github.zengineco/gonzalgo",
"type": "mcp-server",
"version": "0.5.2",
"displayName": "gonzalgo",
"description": "Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.",
"repository": {
"url": "https://github.com/zengineco/gonzalgo",
"source": "github"
},
"homepage": "https://f-keys.com/gonzalgo/",
"distribution": {
"packages": [
{
"registryType": "pypi",
"identifier": "gonzalgo",
"version": "0.5.2",
"runtimeHint": "uvx",
"transport": "stdio"
}
],
"remotes": []
},
"dependencies": [],
"installTargets": [
"claude-code",
"claude-desktop",
"cursor",
"vscode",
"trae",
"cherry-studio",
"lingma",
"windsurf",
"cline",
"workbuddy"
],
"keywords": [],
"provenance": {
"origin": "official-mcp-registry",
"originalId": "io.github.zengineco/gonzalgo",
"originalUrl": "https://registry.modelcontextprotocol.io/v0.1/servers/io.github.zengineco%2Fgonzalgo/versions/latest",
"isOfficial": true,
"status": "active"
}
}