Popular repositories Loading

1. lingshu-solver lingshu-solver Public

   灵数求解器 — 确定性（非大模型）实数方程组求解器，≤6 变量。区间算术 + Krawczyk 构造性认证，每个已验证解数学保真；网页即用或被 AI Agent 通过 MCP 调用。全局穷尽为尽力而为，未穷尽诚实标记 truncated。非商业免费 / 商业须书面授权（详见仓库 LICENSE）；零依赖、离线。安装：npx -y lingshu-solver

   HTML

2. lingnao lingnao Public

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

   HTML

3. lingjing lingjing Public

   灵境 LingJing — 物理驱动的通用虚拟空间原型。五层框架：PDE 物理底座 → 体空间状态 → POD/SVD 全息降阶 → 边界智能决策 → 反向映射。当前为真实现切片：2D 热传导 + 时间（尚未覆盖完整 3+1 维），双轨代码（浏览器 JS 演示 + Python/NumPy 真规模），决策带可审计账本。

   JavaScript