modelscope·@bmorphism/penrose-mcp
通过 Penrose 的领域特定语言，促进使用自然语言创建数学图表，允许定义数学类型、关系和可视化表示规则。
一个用于 Penrose 的模型上下文协议（MCP）服务器 - 通过自然语言创建漂亮的数学图表。
此 MCP 服务器提供了使用 Penrose 的领域特定语言来创建数学图表的工具和资源：
.topos/: 研究材料和文档（git忽略）
penrose-research/: 设计文档和规范mcp-examples/: 参考 MCP 服务器实现mcp-spec/: 官方 MCP 协议文档使用 justfile 访问文档和参考材料：
# List all available commands
just --list
# View the server architecture
just architecture
# Access MCP specifications
just mcp-spec
MIT 许可证 - 详情见 LICENSE 文件
看起来您想要翻译一份英文技术文档，但您提供的内容中只有"asd"这个字符串，并没有实际的文档内容。请提供需要翻译的具体英文技术文档文本，这样我才能帮助您进行准确的翻译。如果有特定部分或格式要求，请一并告知。
本项目是一个基于 Gradio 的健康参数计算器 Web 应用。用户只需输入性别、年龄、身高、体重等基础信息（必填），以及腰围、甘油三酯、HDL胆固醇等可选健康数据，即可一键计算出多项常用健康指标，包括 BMI、BSA、腰高比、CI、CMI、CVAI、LAP、BFR、RFM 等，并给出健康评估建议。
快递100 MCP Server提供快递信息查询、快递运费预估比价、快递时效查询（含发货前时效查询与在途动态时效查询）等功能。
网络基础数据，包括passivedns解析数据、域名和IP的注册信息、网站证书、IOC库的查询。 数据来源于奇安信X实验室被动收集的大网安全研究、威胁分析溯源和大规模多维度安全数据平台。
网络基础数据中和域名相关数据的查询工具。包括伴生域名、域名排名、域名网页数据、Libra基础数据平台的域名关联数据。
暂无描述。