thunderbit-mcp-server
★ 13
vs
chiasmus
★ 218
thunderbit-mcp-server vs chiasmus
thunderbit-mcp-server：Thunderbit MCP Server 是 Thunderbit Open API 的开源工具包，包含 CLI、MCP 服务器（7 个工具）和 Claude Code 插件三个包，可将任意网页转为 LLM 可用 Markdown、按 JSON Schema 提取结构化数据，支持批量处理，免费 API key 即可上手。；chiasmus：Chiasmus 是一个 MCP 服务器，集成了形式化验证（Z3、Prolog）和代码分析（tree-sitter），用于解决复杂的逻辑和结构问题。它通过模板将自然语言转化为形式逻辑，并提供经过验证的结果。它还能分析源代码调用图，进行死代码、影响和可达性分析。
01
简评
thunderbit-mcp-serverData Processing · ★ 13
将干净的网页内容输入 LLM 流水线用于 RAG 或摘要
chiasmusDev Tooling · ★ 218
检测访问控制规则中的冲突
02
并排对比
03
功能特性
thunderbit-mcp-server01通过 distill 命令将任意网页转为干净的 LLM 可用 Markdown
02按 JSON Schema 定义从页面提取结构化数据
03支持大批量任务的批处理模式
04提供 7 个 MCP 工具，兼容 Claude Desktop、Cursor、Cline 和 Claude Code
05在 app.thunderbit.com 免费获取 API key
chiasmus01通过 Z3 SMT 求解器和 Tau Prolog 进行形式化验证
02基于 tree-sitter 的源代码分析
03基于模板的问题形式化
04端到端求解管道
05自定义语言适配器
04
使用场景
thunderbit-mcp-server↳将干净的网页内容输入 LLM 流水线用于 RAG 或摘要
↳批量从网站提取结构化产品、价格或联系人数据
↳在 Claude Code 或 Cursor 工作流中集成实时网页数据
chiasmus↳检测访问控制规则中的冲突
↳查找死代码并执行影响分析
↳验证软件不变量和状态机
FAQ
常见问题
thunderbit-mcp-server 和 chiasmus 有什么区别？
thunderbit-mcp-server 和 chiasmus 都属于 Data Processing 类别。thunderbit-mcp-server 有 13 Stars，chiasmus 有 218 Stars。
thunderbit-mcp-server 和 chiasmus 哪个更好？
最佳选择取决于你的具体需求。将干净的网页内容输入 LLM 流水线用于 RAG 或摘要 时选 thunderbit-mcp-server，检测访问控制规则中的冲突 时选 chiasmus。
thunderbit-mcp-server 是免费的吗？
是的，thunderbit-mcp-server 在 GitHub 开源（MIT）。
chiasmus 是免费的吗？
是的，chiasmus 在 GitHub 开源（Apache-2.0）。
推荐云部署
Ad在 DigitalOcean 上一键部署
为你的 MCP 服务、Docker 容器与智能体提供即开即用云服务器，新用户立享 $200 免费额度（60天有效）。
→