Popular repositories Loading

1. lingshu-solver lingshu-solver Public

   灵数求解器 — 确定性（非大模型）实数方程组求解器，≤6 变量。区间算术 + Krawczyk 构造性认证，已验证解数学保真；网页即用，或由 AI Agent 经 MCP 调用（本地 stdio 永久免费；另有常驻托管端点 hongchenlingjing.com/mcp，¥0.01/次，也可传 honorPaid 免费放行）。全局穷尽为尽力而为，未穷尽诚实标记 truncated。非商业免…

   JavaScript

2. lingnao lingnao Public

   灵脑 LingNao — 可审计·确定性·不幻觉的推理引擎（非概率生成式 LLM）。本地 A* 可审计推理 + 世界图 + 七段审计 + do 演算因果；免费 LLM 仅做感知/解释，不进入证明链。46 个 MCP 工具。授权：商业授权 / 非商业免费（非商用免费，商用须书面授权）。

   HTML

3. lingjing lingjing Public

   灵境 LingJing — 一间课室：人类是体验者，给 AI 上课、传授任何知识/经验/技能；AI 负责激发（从各角度提问），人负责判定，课后带走思考、盲区、总结。

   JavaScript

4. Awesome-MCP-ZH Awesome-MCP-ZH Public

   Forked from yzfly/Awesome-MCP-ZH

   MCP 资源精选， MCP指南，Claude MCP，MCP Servers, MCP Clients

5. awesome-mcp-servers awesome-mcp-servers Public

   Forked from punkpeye/awesome-mcp-servers

   A collection of MCP servers.