yogthos/
chiasmus
yogthos/chiasmusConnectors
Chiasmus is an MCP server that gives language models access to formal verification
211
morluto/jacobianConnectors
Composable mathematics tools for agents
191
Chiasmus is an MCP server that gives language models access to formal verification
Composable mathematics tools for agents