AgentIndex icon
AgentIndex
blockrun-mcp logo
blockrun-mcp
★ 391
vs
chiasmus logo
chiasmus
★ 217

blockrun-mcp vs chiasmus

blockrun-mcp: BlockRun MCP is a Model Context Protocol server that provides AI agents with access to 41 LLM models, real-time web search, prediction markets, crypto DEX data, whale tracking, image generation, and token swaps — all paid via x402 micropayments in USDC on Base. No API keys, no subscriptions, no accounts.; chiasmus: Chiasmus is an MCP server that integrates formal verification (Z3, Prolog) and code analysis (tree-sitter) to solve complex logical and structural problems. It translates natural language into formal logic using templates and provides verified results. It also analyzes source code call graphs for dead code, impact, and reachability.

01

TL;DR

blockrun-mcp logo
blockrun-mcpDev Tooling · ★ 391

Build autonomous agents that pay per call

Read blockrun-mcp full review →
chiasmus logo
chiasmusDev Tooling · ★ 217

Detect conflicts in access control rules

Read chiasmus full review →
02

Side-by-Side Comparison

Field
blockrun-mcp logoblockrun-mcp
chiasmus logochiasmus
Category
Dev Tooling
Dev Tooling
Stars
★ 391
★ 217
License
MIT
Apache-2.0
Install Command
claude mcp add blockrun npx @blockrun/mcp
npm install -g chiasmus
Updated
2d ago
4d ago
Open Source
Yes
Yes
Website
↗ Visit
↗ Visit
GitHub
↗ GitHub
↗ GitHub
Tags
ai, claude-code, llm
ai-agents, ai-assistant, ai-tools
03

Features

blockrun-mcp logoblockrun-mcp
01Multi-agent budget orchestration
0241 LLM models with smart routing
03Real-time web & crypto data
04Micropayment-based access
05No API keys or subscriptions required
chiasmus logochiasmus
01Formal verification via Z3 SMT solver and Tau Prolog
02Tree-sitter-based source code analysis
03Template-based problem formalization
04End-to-end solving pipeline
05Custom language adapters
04

Use Cases

blockrun-mcp logoblockrun-mcp
↳Build autonomous agents that pay per call
↳Multi-agent systems with budget delegation
↳Access premium AI models without subscriptions
chiasmus logochiasmus
↳Detect conflicts in access control rules
↳Find dead code and perform impact analysis
↳Verify software invariants and state machines
FAQ

FAQ

What is the difference between blockrun-mcp and chiasmus?
Both blockrun-mcp and chiasmus are in the Dev Tooling category. blockrun-mcp has 391 stars, while chiasmus has 217 stars.
Which is better, blockrun-mcp or chiasmus?
The best choice depends on your use case. Choose blockrun-mcp if Build autonomous agents that pay per call, and chiasmus if Detect conflicts in access control rules.
Is blockrun-mcp free or open source?
Yes, blockrun-mcp is open source on GitHub (MIT).
Is chiasmus free or open source?
Yes, chiasmus is open source on GitHub (Apache-2.0).
Cloud Infrastructure
Ad

Deploy on DigitalOcean

Host your MCP servers, Docker containers, and AI agents with $200 free credit over 60 days.

Claim $200 Free Credit
→

Related

Alternatives to blockrun-mcp →Alternatives to chiasmus →blockrun-mcp details →chiasmus details →