Enables natural-language control of DK-META2 devices through local BLE for vibration, linear extension, and rotation. It also supports scanning, connecting, status checks, and safe stop/disconnect operations without cloud access.
An MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.
MCP server for searching and querying detailed housing listings in Taiwan, enabling AI to find properties with filters like city, district, room count, price, and age.
Enables MCP clients to securely query databases, list tables, inspect table schemas, and test connections across Oracle, SQL Server, MySQL, PostgreSQL, and SQLite using read-only SQL tools.
An MCP server that enables local AI models to receive guidance from remote 'senior' AI providers like OpenAI, Anthropic, and Gemini to solve programming problems. It features intelligent multi-turn dialogue management, context synchronization, and automated session history tracking.
Enables AI coding agents to intelligently index and search codebases with sub-20ms retrieval, 8x memory compression, and cross-encoder reranking via MCP stdio.
Enables persistent, auditable business operations state by storing knowledge, evidence, decisions, tasks, execution receipts, and review results in a local SQLite database, so different sessions can continue the same project.
Enables local MCP-capable agents to read-only query Zhangchui's already-published Warhammer 40K reports, matchups, army rosters, and statistical definitions over a fixed-route HTTPS public API, without admin accounts, SSH, or database credentials. It exposes six tools for listing and fetching reports, matchups, rosters, and data notes, with release-ID pinning, pagination, and explicit handling of unprepared or unavailable data.
Enables AI assistants to retrieve and compare courses, search and download shared materials, contribute new resources, manage comments, and handle points and transfers.
Enables interaction with an explicit ARC-AGI-3 world model through typed operations for actor/rule editing, deterministic simulation, rendering, and observation comparison.
A lightweight MCP server for reading public YouTube data, offering tools to fetch video transcripts, playlist contents, and video metadata without requiring an API key.