by yogthos · MCP Server · ★ 215
Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h
npm install -g chiasmus
claude mcp add chiasmus -- npx -y chiasmusTaken from the project's README on GitHub.
None of the 42 rules matched — no credential harvesting, no data exfiltration, no curl-pipe-shell installer. Scanned against 42 published rules built on the SlowMist agent-security taxonomy, refreshed every 8 hours.
The quality score combines nine heuristic checks of the repo and its README: completeness, clarity, specificity, examples, structure, agent readiness, step-by-step content, instruction quality and security notes. It rates how well the project explains itself to an agent, not the code.
| Stars | 215 |
| Forks | 14 |
| Language | TypeScript |
| Category | MCP Server |
| License | Apache-2.0 |
| Quality Score | 71/100 |
| Open Issues | 3 |
| Last Updated | 2026-10-18 |
| Created | 2026-04-07 |
| Platforms | mcp, node |
| Est. Tokens | ~19k |
Chiasmus MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via , includes ), 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.
Looking for a chiasmus alternative? If you're comparing chiasmus with other mcp server tools, these 6 projects are the closest alternatives on Agent Skills Hub — ranked by topic overlap, star count, and community traction.
🌐Web Agent Protocol (WAP) - Record and replay user interactions in the browser with MCP support
Open source version of Claude Managed Agents. Fastest way to build and deploy reliable AI agents, MCP tools an
Stock market MCP server for Yahoo Finance data, technical analysis, portfolio tracking, and Python backtesting
Read, write, search, and surgically edit Obsidian vault notes, tags, and frontmatter via MCP. STDIO or Streama
Agent harness and tookit for building AI agents and agentic applications. CLI and SDKs included
Create agentic AI workflows in ROBLOX Studio
Explore other popular mcp server tools:
Grades come from a rule-based scan built on the SlowMist agent-security taxonomy: 42 published rules, covering credential harvesting, data exfiltration, curl | sh installers and more. It is a first-layer scan, not a manual audit — we say so rather than overstate it.
The scale of the problem is documented independently: Liu et al. (2026), in a study of 31,132 agent skills, report that 26.1% contain security vulnerabilities. Our own full-catalog census is published as a citable open dataset.
Sources & who's responsible: