搜索「Git」的结果

io.github.fvossel/unicode-logic-kit

Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

io.github.rigour-labs/rigour

面向 AI 智能体的质量门禁：Lint、测试、构建检查，附带记忆持久化。

io.github.agentsearchhq-coder/agentsearch-mcp

Web search, extract and JS render at $0.005/call (x402, USDC on Base), plus a free Review Board.

io.github.engram-app/engram

Shared memory for Claude, ChatGPT and any MCP client. Read and edit it in Obsidian or the web app.

io.github.emergent-wisdom/semahash

内容寻址的语义：在 457 种认知模式之上的失败即关闭（fail-closed）握手。

io.github.tj-smith47/anodizer

Rust 发布工具链——与 GoReleaser 功能对齐并补充 Rust 专属能力。

io.github.leonmch-byte/chinese-nlp-mcp

Chinese NLP toolkit for MCP: segmentation, pinyin, keywords, sensitive words. Offline via stdio.

io.github.hostsmith/mcp-server

在 Hostsmith 部署静态站点——提交文件即可获得可访问的 HTTPS 地址，数据驻留欧盟/美国。

io.github.dogrucanemek-alt/conarium

Governed database access for AI assistants: masking, signed receipts, coverage reconciliation.

io.github.michaelegner/architecture-intelligence-platform

Evidence-qualified architecture context for coding agents.

io.github.fxams/crewpay-mcp

Pump.fun KOL Autohire fee-shares (60/15/25 or referral 60/15/5/20). Buyback not live.

io.github.jee1/memento-mcp-server

Agent memory MCP server with 4-type cognitive memory, hybrid search, and TTL-based forgetting.

io.github.kirbah/mcp-youtube

基于 YouTube Data API v3 的 MCP 服务器，提供经 token 优化的结构化数据。

io.github.EricSeokgon/egovframe-scaffold-mcp

eGovFrame (전자정부 표준프레임워크) projects: templates, components, CRUD, build, 5.x migration, dependencies

io.github.SylphxAI/anymd

Any file → clean Markdown for AI agents: PDF, Office, EPUB, HTML, images, audio/video. Local MCP.

io.github.Lyellr88/marm-mcp-server

具备高级 AI 记忆能力与语义搜索的通用 MCP 服务器。

io.github.ProAgentStore/platform

ProAgentStore 智能体与私有实例的 MCP 优先控制平面。

io.github.ashadow07/karmadue

Check if a package or MCP server is safe before installing. Find tools, connectors, datasets.

io.github.PaulRichez/devkit-for-strapi-mcp

为 AI 代理提供准确的 Strapi 项目事实（UID、schema、引用），不再靠猜 UID。

io.github.SkillGild/skillgild

Search and run hosted AI agent skills for Claude Code, Codex, Cursor and Gemini CLI.

io.github.tridevils/gmca-certainty-matrix-validate

GMCA Certainty Matrix Validate: 11 vragen om een project te screenen vóór investering.

io.github.mo9652962-ai/circuit-agent-client

AI hardware synthesis: CircuitBlocks DSL, live LCSC parts, industrial DFX audit, stdio MCP server.

io.github.kitwright/unity-mcp

Unity Editor MCP server: execute_code, screenshots, input simulation, play mode automation.

io.github.balthasarspeyr/catalogue

Public catalogue, semantic search and source texts of Hans Urs von Balthasar and Adrienne von Speyr.