広告掲載
MCP.so
ログイン

Logichive MCP Server

@Ayato-AI-for-Auto

リポジトリホームページ

基本情報

カテゴリ

その他

ライセンス

NOASSERTION

トランスポート

stdio

作者

Ayato-AI-for-Auto

投稿者

Ayato

Logichive MCP Server について

🛡️ Professional AI Logic Hub: Accumulate, verify, and reuse high-quality code assets via MCP. Built for kill liberation from mundane tasks likes code copy & remenber logic.

Logichive MCP Server の設定

以下の設定を使って、このサーバーを MCP 対応クライアントに追加してください。

{
  "mcpServers": {
    "LogicHive": {
      "command": "docker",
      "args": [
        "run",
        "-d",
        "\\"
      ]
    }
  }
}

Logichive MCP Server のツール

ツール一覧はまだありません

この掲載には表示できるツール一覧がまだありません。サーバーにツールがないという意味ではありません。対応機能はプロジェクトのドキュメントをご確認ください。

ツールは README から自動的に抽出されます。メンテナーは ## Tools という見出しの下に記載することで、このタブに反映できます。

概要

What is Logichive?

LogicHive is a high-precision knowledge extraction and logic management system that enables AI agents to accumulate, verify, and reuse code assets via the Model Context Protocol (MCP). It uses a Hybrid Deterministic Gate (Fact, Static, AI, Execution) to veto non-factual AI opinions and enforce verifiability over correctness.

How to use Logichive?

Run the LogicHive-Hub.exe (Windows) or the Docker container, then configure your MCP client (Cursor, Claude Desktop) to connect to http://localhost:10880/sse. Set at least GEMINI_API_KEY in a .env file. Use the MCP tools to search, save, retrieve, and delete logic atoms.

Key features of Logichive

  • Hybrid Knowledge Search: semantic and exact-match search for code patterns
  • Verification Quality Gate: automated testing and linting before vaulting
  • MCP Streamable HTTP (SSE) Integration: centralized server for concurrent clients
  • Project Isolation: manage logic assets across multiple namespaces
  • Hybrid Deterministic Gate with four verification stages

Use cases of Logichive

  • Accumulating verified code snippets from AI interactions for reuse
  • Reducing LLM input token costs by injecting precise logic atoms
  • Preventing technical debt through automated assertion and redundancy checks
  • Securing AI governance by filtering security vulnerabilities and isolating runtime tests
  • Preserving critical domain logic across teams to eliminate silo effects

よくある質問

1

What is the Hybrid Deterministic Gate?

It is a four‑stage verification pipeline (Fact 40%, Static 30%, AI 20%, Execution 10%) that rejects logic atoms failing AST analysis, code health metrics, forensic audit, or isolated runtime validation.

2

How does LogicHive handle heavy imports like torch or sklearn?

Use lazy imports (move heavy imports inside functions) or the `mock_imports` parameter in `save_function` to bypass the 20‑second Quality Gate timeout.

3

Where is my data stored?

User data (saved logic assets) is stored locally in SQLite and ChromaDB databases on your own machine; no assets are sent to external providers unless you explicitly request context.

4

What are the system requirements for Logichive?

You need a Windows system (native EXE) or any OS with Docker/Podman, and a Gemini API key. Optionally, you can run Ollama for local LLM inference.

5

Is Logichive available under a commercial license?

Yes, LogicHive is dual‑licensed under AGPL‑3.0 and a Commercial License for proprietary use, with tiers for Indie, Startup, and Enterprise.

コメント

「その他」の他のコンテンツ

Volley.sh

Volley

A good sequence diagram can solve almost any communication problem in engineering. Volley lets your agent write them as plain text, with the real request and response payloads on every arrow. It checks its own syntax wi

Reactive Resume

amruthpillai

A one-of-a-kind resume builder that keeps your privacy in mind. Completely secure, customizable, portable, open-source and free forever. Try it out today!

39.5K

ICSS

chokcoco

不止于 CSS

20.7K

Senso MCP for Joomla

sensomedia

Senso MCP turns a Joomla 5 or 6 site into a remote MCP server. It runs inside Joomla itself (no extra server, no Node.js bridge) and is secured with OAuth 2.1 and Joomla's own ACL. The free pack lets an AI assistant crea

Codelf

unbug

A search tool helps dev to solve the naming things problem.

14.2K
広告掲載