PrototypeCommon
yogthos/chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
- Owner
- yogthos (personal account)
- Stars
- Stars: 218
- Forks
- Forks: 12
- Language
- TypeScript
- License
- Apache-2.0
- Created
- 2026
- Topics
- formalmethodsllmmcpprologz3-smt-solverai-agentsai-assistantai-toolsmcp-server
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by yogthos
All 14 repos by yogthos- yogthos/SelmerStars: 1,050ClojureBeta
- yogthos/migratusStars: 691ClojureAlpha
- yogthos/markdown-cljStars: 577ClojureAlpha
- yogthos/clojure-error-message-catalogStars: 441Alpha
- yogthos/memory-holeStars: 267ClojureAlpha
- yogthos/mastodon-botStars: 197ClojurePrototype
Nearby in TypeScript
All TypeScript repos- zaofan-make/dsh-qqbotStars: 218TypeScriptPrototype
- boadij/pi-herdsmanStars: 218TypeScriptPrototype
- nichochar/ariStars: 218TypeScriptPrototype
- bbc/sqs-producerStars: 218TypeScriptPrototype
- dsherret/code-block-writerStars: 218TypeScriptPrototype
- spring-attic/spring-cloud-dataflow-uiStars: 218TypeScriptPrototype