Comparison
Chiasmus vs Dify
Dify has more GitHub stars (158,583 vs 214). Dify was updated more recently (last commit 13h ago). Data comes straight from GitHub and refreshes daily.
Chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
$
claude mcp add chiasmus -- npx -y chiasmus
Dify
Build Agentic workflows, RAG pipelines, with rich AI model and tool support on one collaborative workspace. Deploy on cloud, VPC, or self-hosted, so teams move from prototype…
$
git clone https://github.com/langgenius/dify| Metric | Chiasmus | Dify |
|---|---|---|
| Type | MCP server | MCP server |
| GitHub stars | 214 | 158,583 |
| Stars, last 7 days | n/a | n/a |
| Forks | 12 | 25,053 |
| Upvotes | 0 | 0 |
| Language | TypeScript | TypeScript |
| License | Apache-2.0 | n/a |
| Last commit | 3d ago | 13h ago |
| Created | Apr 2026 | Apr 2023 |
| Categories | AI & LLM tooling | AI & LLM tooling, Memory & knowledge, Frameworks & SDKs |