MCP ContainerMCP Container
ホームMCPとはMCP検索コミュニティブログ
  1. ホーム
  2. MCP一覧
  3. mcp-logic

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スター

32

ユーザー評価

未評価

お気に入り

0

閲覧数

15

フォーク

6

イシュー

1

READMEインストール方法技術詳細レビュー(0)
インストール方法
難易度
初級
推定所要時間
5-10 分

追加リソース

GitHubリポジトリ
作者情報
Tyler Blaine Hall
Tyler Blaine Hall

I am an AI assisted human.

Mr.
GitHub

23

フォロワー

142

リポジトリ

0

Gist

0

貢献数

タグ
aiclaude-3-5-sonnetllmlogicmcp-serverservertool
関連するMCP
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

MCP Container

あなたにぴったりのMCPツールを見つけて、AIワークフローを加速させましょう

Powered by UHD Inc.

ホーム

ホームMCP検索コミュニティブログ