标签：文件格式化

一个用于格式化单个.proto文件的MCP服务器工具。