1.24K
total weekly downloads
5 packages
lingjing-classroom-mcp
LingJing Classroom — a deterministic (no-LLM) knowledge & blindspot MCP for AI agents: a teaching loop that returns 7-dimension blindspots and a summary. An independent gap-check layer, never hallucinates, never grades.
lingjing-mcp
灵境 LingJing(世界通用大脑)— 可审计推理 MCP 服务:把「世界图 → A* 可审计推理 → 物理载体执行 → 学习闭环」封装为标准 MCP stdio 服务。零依赖、免费面向 AI Agent 分发。
lingnao-mcp
LingNao — the certified deterministic reasoning layer for AI agents: entailment/contradiction/consistency verification, mathematical soundness stress-tests (each a real theorem), and auditable derivations. No neural net in the loop, cannot hallucinate, fa
lingshu-solver
Lingshu Solver — the certified deterministic (non-LLM) compute layer for AI agents: real equation systems (≤6 vars) and polynomial roots with Krawczyk interval certification and per-result trust tiers. The tool agents call instead of computing arithmetic
worldbrain-mcp
世界大脑 — 可审计推理 MCP 服务:把「世界图 → A* 可审计推理 → 物理载体执行 → 学习闭环」封装为标准 MCP stdio 服务。零依赖、免费面向 AI Agent 分发。