Is the chiasmus MCP server actively maintained?

The chiasmus MCP server was last committed 29d ago and has 3 contributors. Issue health: 50% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

chiasmus MCP Server

Name: yogthos/chiasmus
Rating: 3.9 (1 reviews)
Author: yogthos

yogthos/chiasmus

Score: 72.6 ↓ 1.5% Rank #3564 MCP Server

[![AgentRank](https://agentrank-ai.com/api/v1/badge/yogthos--chiasmus)](https://agentrank-ai.com/tool/yogthos--chiasmus/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

Are you the maintainer of yogthos/chiasmus? Claim this listing →

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

Add AgentRank to Claude Code Discover and compare tools like yogthos/chiasmus — your AI finds the right one automatically

Get API Access →

claude mcp add agentrank -- npx -y agentrank-mcp-server

Overview

yogthos/chiasmus is a TypeScript MCP server licensed under Apache-2.0. Chiasmus is an MCP server that gives language models access to formal verification Topics: formalmethods, llm, mcp, prolog, z3-smt-solver, ai-agents, ai-assistant, ai-tools, mcp-server.

Ranked #3564 out of 24846 indexed tools.

Ecosystem

TypeScript Apache-2.0

formalmethodsllmmcpprologz3-smt-solverai-agentsai-assistantai-toolsmcp-server

Score Breakdown

Stars 15% 214

214 stars → growing community

Freshness 25% 29d ago

Last commit 29d ago → recently updated

Issue Health 25% 50%

3/6 issues closed → decent issue management

Contributors 10% 3

3 contributors → small team

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 12

Description Good

License Apache-2.0

Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

Dependents medium impact

No downstream dependents detected yet — adoption by other projects is the strongest trust signal

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/v1/badge/yogthos--chiasmus)](https://agentrank-ai.com/tool/yogthos--chiasmus/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/yogthos--chiasmus/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/v1/badge/yogthos--chiasmus" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="yogthos/chiasmus"></script>

Details

Stars: 214
Forks: 12
Open Issues: 3
Closed Issues: 3
Contributors: 3
Dependents: —
Language: TypeScript
License: Apache-2.0
Last Commit: 29d ago

Matched Queries

"mcp server""mcp-server"topic:mcptopic:mcp-server

From the README

# Chiasmus

MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via `prolog-wasm-full`, includes `library(clpfd)`), plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.

### Example use cases

- **"Can our RBAC rules ever conflict?"** → Z3 finds the exact role/action/resource triple where allow and deny both fire
- **"Find compatible package versions"** → Z3 solves dependency constraints with incompatibility rules, returns a valid assignment or proves none exists
- **"Can user input reach the database?"** → Prolog traces all paths through the call graph, flags taint flows to sensitive sinks
- **"Are our frontend and backend validations consistent?"** → Z3 finds concrete inputs that pass one but fail the other (e.g. age=15 passes frontend min=13 but

Read full README on GitHub →