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
Time
Time 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.
Sequentialthinking
Sequentialthinking MCP server enables seamless integration between AI agents and external services. Built on the Model Context Protocol, it provides standardized access to tools and data for AI-powered workflows.
Gitlab
Gitlab MCP server provides AI agents with powerful tools and integrations for automation workflows. Connect your AI assistant to Gitlab capabilities through the Model Context Protocol standard.
Sentry
Sentry MCP server provides AI agents with powerful tools and integrations for automation workflows. Connect your AI assistant to Sentry capabilities through the Model Context Protocol standard.
Like this server?
Discover more MCP servers or submit your own to directory.