yogthos/chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
44 stars and 1,745 monthly downloads. Available on npm.
Stars
44
Forks
3
Language
TypeScript
License
Apache-2.0
Last pushed
Apr 11, 2026
Monthly downloads
1,745
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/mcp/yogthos/chiasmus"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related servers
chrisryugj/kordoc
모두 파싱해버리겠다 — HWP, HWPX, PDF, XLSX, DOCX → Markdown. CLI + MCP Server
DAWNCR0W/affine-mcp-server
Model Context Protocol server for AFFiNE. Connect AI assistants to AFFiNE workspaces, documents,...
TranHoaiHung/figma-ui-mcp
AI can draw UI directly on the Figma canvas via JavaScript, and read existing designs back as...
nukeop/nuclear
Streaming music player that finds free music for you
vasylenko/bear-notes-mcp
MCP Server for Bear note taking app available as Claude Desktop extension or standalone server...