About chiasmus on AIStoreHub
Description: Chiasmus is an MCP server that gives language models access to formal verification
Asset Type: agent (agents).
Compatible Foundation Models: Frontier LLMs (GPT-4o, Claude 3.5 Sonnet, Gemini 1.5 Pro).
How to install or reuse: Using the official AIStoreHub CLI:pip install aistorehub && aihub pull community/chiasmus
