MCP servers tagged a-star

1 live MCP servers tagged "a-star", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with a-star.

live servers

avg trust

Lingnao

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