# yogthos/chiasmus

<https://repo.masters-masters.com/en/repos/yogthos/chiasmus>

[Home](https://repo.masters-masters.com/en) › [yogthos](https://repo.masters-masters.com/en/owners/yogthos) › [chiasmus](https://repo.masters-masters.com/en/repos/yogthos/chiasmus)

yogthos/chiasmus has 218 stars on GitHub. Its RepoMasters card: Prototype tier. Chiasmus is an MCP server that gives language models access to formal…

| Field | Value |
| --- | --- |
| Owner | [yogthos](https://repo.masters-masters.com/en/owners/yogthos) |
| Stars | 218 |
| Forks | 12 |
| Language | [TypeScript](https://repo.masters-masters.com/en/languages/typescript) |
| License | Apache-2.0 |
| Created | 2026 |
| Topics | formalmethods, llm, mcp, prolog, z3-smt-solver, ai-agents, ai-assistant, ai-tools, mcp-server |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [yogthos/chiasmus](https://github.com/yogthos/chiasmus) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by yogthos

- [yogthos/Selmer · ★ 1,050 · Clojure · Beta](https://repo.masters-masters.com/en/repos/yogthos/Selmer)
- [yogthos/migratus · ★ 691 · Clojure · Alpha](https://repo.masters-masters.com/en/repos/yogthos/migratus)
- [yogthos/markdown-clj · ★ 577 · Clojure · Alpha](https://repo.masters-masters.com/en/repos/yogthos/markdown-clj)
- [yogthos/clojure-error-message-catalog · ★ 441 · Alpha](https://repo.masters-masters.com/en/repos/yogthos/clojure-error-message-catalog)
- [yogthos/memory-hole · ★ 267 · Clojure · Alpha](https://repo.masters-masters.com/en/repos/yogthos/memory-hole)
- [yogthos/mastodon-bot · ★ 197 · Clojure · Prototype](https://repo.masters-masters.com/en/repos/yogthos/mastodon-bot)

## Nearby in TypeScript

- [zaofan-make/dsh-qqbot · ★ 218 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/zaofan-make/dsh-qqbot)
- [boadij/pi-herdsman · ★ 218 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/boadij/pi-herdsman)
- [nichochar/ari · ★ 218 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/nichochar/ari)
- [bbc/sqs-producer · ★ 218 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/bbc/sqs-producer)
- [dsherret/code-block-writer · ★ 218 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/dsherret/code-block-writer)
- [spring-attic/spring-cloud-dataflow-ui · ★ 218 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/spring-attic/spring-cloud-dataflow-ui)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.