chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
TypeScript
★ 218 stars
Last pushed 2026-10-18
License: Apache-2.0
Connect
See the repository for installation instructions: https://github.com/yogthos/chiasmus
Related servers
R
REA
Other
Reverse engineer anything from your terminal or agent with one CLI and MCP server.
★ 415,736
MCP Server
B
browser-use
Other
Browser agents and stealth cloud browsers for AI: run web tasks, fill forms, extract data.
★ 119,683
MCP Server
Reachable
P
paperclip
Other
Trending hip-hop artist momentum scores across four cultural dimensions.
★ 109,494
MCP Server
Reachable
W
World Monitor
Other
Real-time global intelligence across conflict, markets, energy, trade, shipping and cyber. 99 tools.
★ 89,867
MCP Server
Requires auth
R
ruflo
Other
AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.
★ 80,432
MCP Server
F
Front-End Checklist
Other
Review frontend code and live pages against 386 quality-gated web development rules.
★ 74,618
MCP Server