Sign in Sign up
npm

chiasmus

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

npm View on Npm github View on Github

Activity

Latest release
1w ago
Total releases
27
Cadence
~daily
Last 12 months
27

Reach

Stars
211

Details

License
Apache-2.0
First release
Apr 08, 2026
Releases
Version Released
0.1.29 patch
0.1.28 patch
0.1.27 patch
0.1.26 patch
0.1.24 patch
0.1.23 patch
0.1.22 patch
0.1.21 patch
0.1.19 patch
0.1.18 patch
0.1.17 patch
0.1.16 patch
0.1.15 patch
0.1.14 patch
0.1.13 patch
0.1.12 patch
0.1.11 patch
0.1.10 patch
0.1.9 patch
0.1.8 patch
0.1.7 patch
0.1.6 patch
0.1.5 patch
0.1.4 patch
0.1.2 patch
0.1.1 patch
0.1.0 initial