MCP Container

mcp-logic

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

GitHub

GitHub Stars

32

User Rating

Not Rated

Favorites

0

Views

20

Forks

6

Issues

1

Technical Information

Programming Languages

ShellPrimary Language

System Requirements

No specific requirements are documented

Maintenance Status

Active

GitHub Topics

aiclaude-3-5-sonnetllmlogicmcp-serverservertool
Author Information
Tyler Blaine Hall
Tyler Blaine Hall

I am an AI assisted human.

Mr.
GitHub

23

Followers

142

Repositories

0

Gists

0

Total Contributions

Tags
aiclaude-3-5-sonnetllmlogicmcp-serverservertool
Related MCPs
podman-ai logo
podman-ai
0

Podman AI Assistant is a command-line tool that helps you manage Podman containers using plain English. Just type what you want to do—like "list all containers"—and it turns that into a real Podman command for you.

Shell
mcp-server-atlassian-bitbucket logo
mcp-server-atlassian-bitbucket
73

Node.js/TypeScript MCP server for Atlassian Bitbucket. Enables AI systems (LLMs) to interact with workspaces, repositories, and pull requests via tools (list, get, comment, search). Connects AI directly to version control workflows through the standard MCP interface.

TypeScript
boilerplate-mcp-server logo
boilerplate-mcp-server
55

TypeScript Model Context Protocol (MCP) server boilerplate providing IP lookup tools/resources. Includes CLI support and extensible structure for connecting AI systems (LLMs) to external data sources like ip-api.com. Ideal template for creating new MCP integrations via Node.js.

TypeScript