⚡ MCPHub— The npm for AI Tools
GitHubSearch
← Back to browse

chiasmus

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

100
/100 Secure
⭐ GitHub · 170

Install

npx mcpub install chiasmus

Add to README

MCPub: chiasmus
[![MCPub](https://mcpub-registry.shelflix.workers.dev/badge/chiasmus.svg)](https://mcpub-web.vercel.app/tool/chiasmus)

Details

Authoryogthos
LicenseApache-2.0
Transportsstdio
Updated5/9/2026

Compatibility

openai❓ Unknown
anthropic✅ Native
langchain❓ Unknown
cursor❓ Unknown

About

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

Categories

ai