# chiasmus

> chiasmus — yogthos-chiasmus. Use this tool when you need to formally verify the correctness of code or proofs, leveraging its integration with git for version control and MCP server capabilities to enhance language model accuracy. It solves problems related to code validation and verification, providing a reliable interface for inputs such as code repositories and outputs like verification results. Ideal for use cases requiring rigorous testing and validation of software or mathematical proofs.

Canonical page: https://skillsregistry.net/skills/yogthos-chiasmus  
JSON: https://api.skillsregistry.net/v1/skills/yogthos-chiasmus

## Description

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

## Trust

- **Trust score (0–1):** 0.94
- **Verification tier:** verified
- **Last scanned:** 2026-09-19

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** container
- **Runtime environment:** vm
- **Category:** other
- **Updated:** 2026-09-21

## Source

- **Source listing:** [GitHub](https://github.com/yogthos/chiasmus)

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "yogthos-chiasmus"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/yogthos-chiasmus` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/yogthos-chiasmus/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt