Comparison
Chiasmus vs Open Webui
Open Webui has more GitHub stars (155,919 vs 214). Open Webui was updated more recently (last commit 4d 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
Open Webui
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
$
pip install open-webui| Metric | Chiasmus | Open Webui |
|---|---|---|
| Type | MCP server | MCP server |
| GitHub stars | 214 | 155,919 |
| Stars, last 7 days | n/a | +105 |
| Forks | 12 | 22,692 |
| Upvotes | 0 | 0 |
| Language | TypeScript | Python |
| License | Apache-2.0 | n/a |
| Last commit | 1w ago | 4d ago |
| Created | Apr 2026 | Oct 2023 |
| Categories | AI & LLM tooling | AI & LLM tooling, Memory & knowledge, Design & frontend |