AGENTS / GITHUB / chiasmus
githubinferredactive

chiasmus

provenance:github:yogthos/chiasmus

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

View Source ↗First seen 9d agoNot yet hireable

PUBLIC HISTORY

First discoveredApr 11, 2026

IDENTITY

inferred

Identity inferred from code signals. No PROVENANCE.yml found.

Is this yours? Claim it →

METADATA

platformgithub
first seenApr 7, 2026
last updatedApr 10, 2026
last crawled3 days ago
version—

README BADGE

Add to your README:

![Provenance](https://getprovenance.dev/api/badge?id=provenance:github:yogthos/chiasmus)