chiasmus

Name: yogthos/chiasmus
Author: yogthos

Ver en GitHub

Chiasmus is an MCP server that gives language models access to formal verification

MCP Servers206 estrellas11 forks● TypeScriptApache-2.0Actualizado 28d ago

ClaudeWave Trust Score

97/100

✓ Verified

Passed

✓Open-source license (Apache-2.0)
✓Actively maintained (<30d)
✓Healthy fork ratio
✓Clear description
✓Topics declared

Last scanned: 6/11/2026

Install in Claude Code / Claude Desktop

Method: Manual

Claude Code CLI

git clone https://github.com/yogthos/chiasmus

claude_desktop_config.json (Claude Desktop)

{
  "mcpServers": {
    "chiasmus": {
      "command": "node",
      "args": ["/path/to/chiasmus/dist/index.js"]
    }
  }
}

1. Run the command above in your terminal (Claude Code), or paste the JSON config into claude_desktop_config.json (Claude Desktop).

2. Replace any <placeholder> values with your API keys or paths.

3. Restart Claude. The MCP server and its tools appear automatically.

💡 Clone https://github.com/yogthos/chiasmus and follow its README for install instructions.

Casos de uso

AI / ML

Sobre el repo

Resumen de MCP Servers

README no disponible. Visita el repo en GitHub para la documentación completa.

Topics

ai-agentsai-assistantai-toolsformalmethodsllmmcpmcp-serverprologz3-smt-solver

Preguntas frecuentes

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 206 estrellas en GitHub y se actualizó por última vez 28d ago.

¿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 de 28d ago, 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.

Deploy en 1 click

Despliega chiasmus en tu cloud

Lleva este repo a producción en minutos. Cada plataforma genera su propio entorno con variables de entorno editables.

Vercel Railway Render

Badge embebible

¿Mantienes este repo? Añade un badge a tu README

Pega el badge en tu README de GitHub para mostrar que está auditado por ClaudeWave. Cada badge enlaza de vuelta a esta página y muestra el Trust Score actual.

Markdown (README)

[![Featured on ClaudeWave](https://claudewave.com/api/badge/yogthos-chiasmus)](https://claudewave.com/repo/yogthos-chiasmus)

HTML

<a href="https://claudewave.com/repo/yogthos-chiasmus"><img src="https://claudewave.com/api/badge/yogthos-chiasmus" alt="Featured on ClaudeWave: yogthos/chiasmus" width="320" height="64" /></a>

Relacionados

Más MCP Servers

n8n-io

n8n

today

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

198.3k59.7kTypeScript

MCP ServersaiapisInstall

open-webui

today

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

147k21.4kPython

MCP ServersaillmInstall

google-gemini

gemini-cli

today

An open-source AI agent that brings the power of Gemini directly into your terminal.

106.2k14.3kTypeScript

MCP Serversaiai-agentsInstall

netdata

today

The fastest path to AI-powered full stack observability, even for lean teams.

79.9k6.5kGo

MCP ServersaialertingInstall

koala73

worldmonitor

today

Real-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitoring, and infrastructure tracking in a unified situational awareness interface

75.4k11.3kTypeScript

MCP ServersagentaiInstall

D4Vinci

Scrapling

today

🕷️ An adaptive Web Scraping framework that handles everything from a single request to a full-scale crawl!

71.5k7.1kPython

MCP Serversaiai-scrapingInstall