Chiasmus

Unclaimed

by yogthos

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

Install

$claude mcp add chiasmus -- npx -y chiasmus

Unclaimed listing

Is this your MCP server?

This listing was auto-indexed from the public record. Claim it to edit the page, set compatibility and unlock growth tools. Takes under two minutes.