# yogthos/chiasmus

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

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

yogthos/chiasmus, dépôt open source à 218 étoiles sur GitHub. Carte Prototype de RepoMasters. Chiasmus is an MCP server that gives language models access to…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [yogthos](https://repo.masters-masters.com/owners/yogthos) |
| Étoiles | 218 |
| Forks | 12 |
| Langage | [TypeScript](https://repo.masters-masters.com/languages/typescript) |
| Licence | Apache-2.0 |
| Création | 2026 |
| Sujets | formalmethods, llm, mcp, prolog, z3-smt-solver, ai-agents, ai-assistant, ai-tools, mcp-server |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [yogthos/chiasmus](https://github.com/yogthos/chiasmus) |

## Fiche du dépôt

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

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de yogthos

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

## D’autres dépôts TypeScript

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.