chiasmus

38/100

⭐ 186 stars 🔀 10 forks 🔧 TypeScript 📄 Apache-2.0 🕐 2026-05-14

🤖 AI/MLai-agentsai-assistantai-toolsformalmethodsllmmcpmcp-serverprolog

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

📊 Score Breakdown

Recency6/20

Documentation6/15

Tests4/10

Auth/Security4/10

Star Velocity6/15

Security Audit6/15

Install Docs6/15

Language: TypeScript

⚡ Install

# Clone and install
git clone https://github.com/yogthos/chiasmus
cd chiasmus
npm install  # or: pip install -r requirements.txt

View on GitHub → 📖 README 🐛 Issues Browse All Servers

🔗 Related MCP Servers

mcp-use

72/100 · B

Auto-claude-code-research-in-sleep

📬 Get weekly MCP server picks → Subscribe to Newsletter

About chiasmus — chiasmus is a 🤖 AI/ML MCP server with a quality score of 38/100 (D grade). It has ⭐186 GitHub stars, 🔀10 forks, and is written in TypeScript. Chiasmus is an MCP server that gives language models access to formal verification

Browse 891 verified MCP servers across 8 categories. Filter by grade, search by keyword, and compare servers side-by-side on the leaderboard.