everything vs chiasmus
Side-by-side comparison to help you pick between these two MCP servers.
everything by modelcontextprotocol | chiasmus by yogthos | |
|---|---|---|
| Stars | ★ 85,748 | ★ 178 |
| 30d uses | — | — |
| Score | 77 | 50 |
| Official | ✓ | — |
| Categories | Developer ToolsAI / LLM ToolsOther | Developer ToolsSecurityAI / LLM Tools |
| Language | TypeScript | TypeScript |
| Last commit | this month | this month |
everything · Summary
Official MCP test server exercising all protocol features for client builders.
chiasmus · Summary
Chiasmus is an MCP server that provides LLMs with formal verification capabilities using Z3 and Prolog.
everything · Use cases
- Testing MCP client implementations against all protocol features
- Learning MCP protocol capabilities through a reference server
- Validating client compatibility with different transport methods
chiasmus · Use cases
- Verifying consistency between frontend and backend validation rules
- Analyzing call graphs for data flow and reachability in codebases
- Performing dead code detection and impact analysis before refactoring
everything · Install
NPX (recommended)
{
"mcpServers": {
"everything": {
"command": "npx",
"args": ["-y", "@modelcontextprotocol/server-everything"]
}
}
}On Windows, use cmd /c:
{
"mcpServers": {
"everything": {
"command": "cmd",
"args": ["/c", "npx", "-y", "@modelcontextprotocol/server-everything"]
}
}
}Docker
{
"mcpServers": {
"everything": {
"command": "docker",
"args": ["run", "-i", "--rm", "mcp/everything"]
}
}
}Global install
npm install -g @modelcontextprotocol/server-everything@latest
npx @modelcontextprotocol/server-everythingchiasmus · Install
npm install -g chiasmusFor Claude Desktop:
{
"mcpServers": {
"chiasmus": {
"command": "npx",
"args": ["-y", "chiasmus"]
}
}
}