MCP servers tagged krawczyk

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

live servers

avg trust

Lingshu Solver

genesis-plan

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