filesystem vs chiasmus
Side-by-side comparison to help you pick between these two MCP servers.
filesystem by modelcontextprotocol | chiasmus by yogthos | |
|---|---|---|
| Stars | ★ 85,748 | ★ 178 |
| 30d uses | — | — |
| Score | 77 | 50 |
| Official | ✓ | — |
| Categories | File SystemDeveloper ToolsProductivity | Developer ToolsSecurityAI / LLM Tools |
| Language | TypeScript | TypeScript |
| Last commit | this month | this month |
filesystem · Summary
A feature-rich MCP server for filesystem operations with dynamic directory access control.
chiasmus · Summary
Chiasmus is an MCP server that provides LLMs with formal verification capabilities using Z3 and Prolog.
filesystem · Use cases
- Enable AI models to read and write project files during development
- Allow Claude or other MCP clients to browse and analyze codebases
- Provide secure sandboxed access to specific directories for content generation
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
filesystem · Install
Installation
Using NPX
{
"mcpServers": {
"filesystem": {
"command": "npx",
"args": [
"-y",
"@modelcontextprotocol/server-filesystem",
"/path/to/allowed/directory"
]
}
}
}Using Docker
{
"mcpServers": {
"filesystem": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"--mount", "type=bind,src=/path/to/allowed/dir,dst=/projects/allowed/dir",
"mcp/filesystem",
"/projects"
]
}
}
}VS Code Extension
Click the installation buttons in the README to install directly in VS Code.
chiasmus · Install
npm install -g chiasmusFor Claude Desktop:
{
"mcpServers": {
"chiasmus": {
"command": "npx",
"args": ["-y", "chiasmus"]
}
}
}