# chiasmus

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

- **URL**: https://www.freshcrate.ai/projects/chiasmus
- **Author**: yogthos
- **Category**: MCP Servers
- **Latest version**: `main@2026-06-02` (2026-06-02)
- **License**: Apache-2.0
- **Source**: https://github.com/yogthos/chiasmus
- **Language**: TypeScript
- **GitHub**: 63 stars, 5 forks
- **Registry**: github
- **Tags**: `typescript`

## Description

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

## Recent releases

| Version | Date | Urgency | Changes |
| --- | --- | --- | --- |
| `main@2026-06-02` | 2026-06-02 | High | Latest activity on main branch |
| `0.0.0` | 2026-04-10 | High | No release found — using repo HEAD |

## Dependency audit

- **Score**: 98/100
- **Total deps**: 23
- **Resolved**: 23
- **Unresolved**: 0
- **License conflicts**: 0
- **Warnings**: 1
- **Scanned**: 2026-06-01

## Citation

- HTML: https://www.freshcrate.ai/projects/chiasmus
- Markdown: https://www.freshcrate.ai/projects/chiasmus.md
- Dependencies JSON: https://www.freshcrate.ai/api/projects/chiasmus/deps

_Generated by freshcrate.ai. Indexes github releases for AI-agent ecosystem packages._