MCPVault / Compare servers

Compare servers

Choose up to three servers. Compare what they do, how to connect and what has actually been checked.

Find a server to compare

Compare servers	Chiasmus
Purpose	Chiasmus is an MCP server that gives language models access to formal verification
Authentication (maintainer declared)	Unknown
Public launch command	Project-specific setup
Configuration source	Public install instructions
Observed tools	Unknown
Last complete tool check	Unknown
License	Apache-2.0
	Open setup

A complete tool check lists tools; it does not exercise them or certify security.