AgentIndex icon
AgentIndex
Opendata.cat-MCP-Server logo
Opendata.cat-MCP-Server
★ 22
vs
chiasmus logo
chiasmus
★ 218

Opendata.cat-MCP-Server vs chiasmus

Opendata.cat-MCP-Server: Opendata.cat MCP Server connects large language models with public open data from Catalonia. It allows searching datasets, exploring metadata, and querying real data from 7 Catalan portals. The server is part of the opendata.cat association promoting transparency and open data standards.; 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

Opendata.cat-MCP-Server logo
Opendata.cat-MCP-ServerDev Tooling · ★ 22

Ask about mobility datasets in Barcelona

Read Opendata.cat-MCP-Server full review →
chiasmus logo
chiasmusDev Tooling · ★ 218

Detect conflicts in access control rules

Read chiasmus full review →
02

Side-by-Side Comparison

Field
Opendata.cat-MCP-Server logoOpendata.cat-MCP-Server
chiasmus logochiasmus
Category
Dev Tooling
Dev Tooling
Stars
★ 22
★ 218
License
—
Apache-2.0
Install Command
claude mcp add opendata-cat -- npx -y @opendata.cat/mcp-server
npm install -g chiasmus
Updated
1mo ago
5d ago
Open Source
Yes
Yes
Website
↗ Visit
↗ Visit
GitHub
↗ GitHub
↗ GitHub
Tags
catalunya, claude, dadesobertes
ai-agents, ai-assistant, ai-tools
03

Features

Opendata.cat-MCP-Server logoOpendata.cat-MCP-Server
01Search datasets by free text across multiple Catalan portals
02Retrieve full metadata and field details for any dataset
03Query real data directly from source portals (Socrata, CKAN, REST, Opendatasoft)
04List available portals and categories with dataset counts
05Support for 7 portals with over 2,800 datasets
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

Opendata.cat-MCP-Server logoOpendata.cat-MCP-Server
↳Ask about mobility datasets in Barcelona
↳Query air quality data for a specific date
↳Find the number of cultural facilities in Girona
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 Opendata.cat-MCP-Server and chiasmus?
Both Opendata.cat-MCP-Server and chiasmus are in the Dev Tooling category. Opendata.cat-MCP-Server has 22 stars, while chiasmus has 218 stars.
Which is better, Opendata.cat-MCP-Server or chiasmus?
The best choice depends on your use case. Choose Opendata.cat-MCP-Server if Ask about mobility datasets in Barcelona, and chiasmus if Detect conflicts in access control rules.
Is Opendata.cat-MCP-Server free or open source?
Yes, Opendata.cat-MCP-Server is open source on GitHub.
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 Opendata.cat-MCP-Server →Alternatives to chiasmus →Opendata.cat-MCP-Server details →chiasmus details →