서버io.github.ai-buildinfraio.github.ai-buildinfra이 네임스페이스에 MCP 서버 3개.서버관측도구테스트 시점HumanCraft UI (Antigravity MCP)io.github.AI-BuildInfra/humancraft-ui●미관측—관측되지 않음ProofGraph (Antigravity MCP)io.github.AI-BuildInfra/proof-graph●미관측—관측되지 않음SEO-IntentRank (Antigravity MCP)io.github.AI-BuildInfra/SEO-intentrank●미관측—관측되지 않음[ 모든 서버로 돌아가기 ]