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スター
32
ユーザー評価
未評価
お気に入り
0
閲覧数
13
フォーク
6
イシュー
1
プログラミング言語
システム要件
特定の要件は記載されていません
メンテナンス状況
アクティブGitHubトピック
23
フォロワー
142
リポジトリ
0
Gist
0
貢献数
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 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.