Altimaos App
Developer ToolsZero-Hallucination Formal Logic & SMT Solver for AI Agents
Installation
npx -y logic-mcp@latestView configuration snippet
{
"mcpServers": {
"logic-rs": {
"command": "npx",
"args": [
"-y",
"logic-mcp@latest"
],
"env": {
"LOGIC_API_KEY": "sk_live_your_bearer_key"
}
}
}
}💡 Tip: Make sure you have the appropriate package manager installed. Refer to the official documentation for detailed installation instructions.
Compatibility Matrix
Server Information
Quick Stats
Related Servers
More in Developer Tools →Google Maps
This repository is a collection of *reference implementations* for the Model Context Protocol (MCP), as well as references to community-built servers and additional resources.
Codegraph
Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, and Hermes Agent — fewer tokens, fewer tool calls, 100% local
Openmanus
Openmanus is an open-source MCP server that gives AI assistants access to specialized functionality. Compatible with Claude Desktop, Cursor, and other MCP clients for enhanced AI agent workflows.
Mcp Metabase
Metabase includes a built-in MCP server that lets AI clients connect directly to a Metabase instance.
Like this server?
Discover more MCP servers or submit your own to directory.