chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
- 218 estrellas
- 12 forks
- 3 issues abiertos
- Lenguaje: TypeScript
- Licencia: Apache-2.0
- actualizado
Instalación
git clone https://github.com/yogthos/chiasmus{
"mcpServers": {
"chiasmus": {
"command": "node",
"args": ["/path/to/chiasmus/dist/index.js"]
}
}
}{
"mcpServers": {
"chiasmus": {
"command": "node",
"args": ["/path/to/chiasmus/dist/index.js"]
}
}
}- Run the command above in your terminal (Claude Code), or paste the JSON config into claude_desktop_config.json (Claude Desktop).
- Replace any <placeholder> values with your API keys or paths.
- Restart Claude. The MCP server and its tools appear automatically.
Clone https://github.com/yogthos/chiasmus and follow its README for install instructions.
Resumen de MCP Servers
Lo que la gente pregunta sobre chiasmus
¿Qué es yogthos/chiasmus?
yogthos/chiasmus es mcp servers para el ecosistema de Claude AI. Chiasmus is an MCP server that gives language models access to formal verification Tiene 218 estrellas en GitHub y su última actualización registrada es del 2026-10-18.
¿Cómo se instala chiasmus?
Puedes instalar chiasmus clonando el repositorio (https://github.com/yogthos/chiasmus) o siguiendo las instrucciones del README en GitHub. ClaudeWave también te ofrece bloques de instalación rápida en esta misma página.
¿Es seguro usar yogthos/chiasmus?
Nuestro agente de seguridad ha analizado yogthos/chiasmus y le ha asignado un Trust Score de 97/100 (tier: Verified). Revisa el desglose completo de comprobaciones superadas y flags en esta página.
¿Quién mantiene yogthos/chiasmus?
yogthos/chiasmus es mantenido por yogthos. La última actividad registrada en GitHub es del 2026-10-18, con 3 issues abiertos.
¿Hay alternativas a chiasmus?
Sí. En ClaudeWave puedes explorar mcp servers similares en /categories/mcp, ordenados por popularidad o actividad reciente.