What tools does the chiasmus MCP server provide?

The tool list for chiasmus has not been read. It is distributed as a local (stdio) package, which cannot be queried over a network without installing it.

Does chiasmus require an API key?

Not known. chiasmus has not been successfully queried, so its authentication requirements are unverified.

Connection check local install

chiasmus

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

Tools —

GitHub stars 210

Installs / wk —

Licence Apache-2.0

Transport —

Last checked never

Tools & capabilities

0 tools

Distributed as a local package with no endpoint to query, and no tool declarations could be read from its published source.