chiasmus MCP server

Name: chiasmus
Author: yogthos

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

Repository: yogthos/chiasmus
Stars: ★214
Language: TypeScript
Last updated: 2026-10-12
ai-agentsai-assistantai-toolsformalmethodsllmmcpmcp-serverprologz3-smt-solver

How to install chiasmus

No install config was found in this README. See the repository for setup steps, then follow our guides for Claude Desktop, Cursor or VS Code.

Listed on Socketlist – add this badge to your README:

Badge markdown

[![Listed on Socketlist](https://socketlist.pages.dev/badge.svg)](https://socketlist.pages.dev/s/yogthos-chiasmus/)

Maintain this project? Get it featured for free during launch →

Compare with deep-research →

Related AI Models & Agents MCP servers

deep-research by u14app · ★4694
Use any LLMs (Large Language Models) for Deep Research. Support SSE API and MCP server.
AI Models & Agents

py-xiaozhi by huangjunsen0406 · ★3511
Open-source AI assistant ecosystem with MCP integrations, multimodal workflows, IoT support, and cross-platform voice interaction.
AI Models & Agents

paper-search-mcp by openags · ★2830
MCP, CLI, Skills for searching and downloading academic papers from multiple sources like arXiv, PubMed, bioRxiv, etc.
AI Models & Agents

nitrostack by nitrocloudofficial · ★2458
The full-stack TypeScript framework to build, test, and deploy production-ready MCP servers and AI-native apps.
AI Models & Agents

12306-mcp by Joooook · ★2381
This is a 12306 ticket search server based on the Model Context Protocol (MCP).
AI Models & Agents

mcp-gsc by AminForou · ★1933
Google Search Console Insights with Claude AI for SEOs
AI Models & Agents

Weekly MCP digest – new and trending MCP servers in your inbox.