by yogthos · MCP Server · ★ 177
Chiasmus is an MCP server that gives language models access to formal verification
| Stars | 177 |
| Forks | 9 |
| Language | TypeScript |
| Category | MCP Server |
| License | Apache-2.0 |
| Quality Score | 37.75/100 |
| Open Issues | 4 |
| Last Updated | 2026-05-14 |
| Created | 2026-04-07 |
| Platforms | mcp, node |
| Est. Tokens | ~75k |
Explore other popular mcp server tools:
chiasmus is Chiasmus is an MCP server that gives language models access to formal verification. It is categorized as a MCP Server with 177 GitHub stars.
chiasmus is primarily written in TypeScript. It covers topics such as ai-agents, ai-assistant, ai-tools.
You can find installation instructions and usage details in the chiasmus GitHub repository at github.com/yogthos/chiasmus. The project has 177 stars and 9 forks, indicating an active community.
chiasmus is released under the Apache-2.0 license, making it free to use and modify according to the license terms.