搜索「github gitlab git pull」的结果

io.github.jcschuster/atp_mcp

Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.

io.github.GhostPawJS/grimoire

Local procedural knowledge with spells, notes, and revision history.

io.github.cyanheads/fema-mcp-server

查询 FEMA 灾害宣告、公共援助拨款、住房救助与 NFIP 理赔。

io.github.formray/tachyon

Read-only NVIDIA GPU monitor: bottlenecks, VRAM forecast, crash diagnosis, pre-render check, jobs.

io.github.adam-sari/roundertools

Local PDF, image, archive and video tools for AI assistants. Files never leave your computer.

io.github.Decodo/mcp-server

让 AI 智能体动态抓取并解析网页内容，包括地理受限站点。

io.github.gamaze-labs/hicortex

Shared fleet memory for AI agents: nightly self-correction, recall every prompt (supported agents).

io.github.tmailor-com/tmailor-mcp

Receive-only temporary email addresses for AI agents: create an inbox, wait for an email, read it.

io.github.PresentJay/dbt-plan

Predicts the DDL a dbt change will execute, before you run it. Reads files, not the warehouse.

io.github.akobirjontulqinovfuture/keelyard

Proof gate, undo and output trimming for Claude Code, Codex and OpenCode coding agents.

io.github.tide-foundation/raziel

MCP server teaching AI agents to implement TideCloak: auth, E2EE, IGA, security analysis

io.github.DevHusnainAi/zerodom

The deterministic attack-surface perception layer for AI security agents

io.github.pipeworx-io/sec-form-d

SEC Form D fundraising intelligence.

io.github.FunplayAI/funplay-cocos-mcp

桥接本地 Cocos Creator 编辑器 MCP 服务器的 stdio 通道，来自 FunplayAI/funplay-cocos-mcp。

io.github.erickarazafimbahiny-ux/tsiky

Turn your photo into a cartoon character and make animated explainer videos, step by step

io.github.arthurpanhku/dvalincode

Deterministic security scanning, no model or API key, plus offline-verifiable proof a fix worked.

io.github.HiroyukiFuruno/kml

Markdown 语法检查工具，可作工作区级 stdio MCP 服务器，也可作为自托管的纯文本远程 MCP 服务器。

io.github.johnsmithxy1mmm-sys/hypersignal-mcp

Hyperliquid analytics for AI agents: whale flow, liquidations, funding, risk, signed signals.

io.github.ludo-technologies/pyscn

Python code analysis for AI agents: complexity, dead code, clones, coupling, and a health score.

io.github.vibebytes/vibe3d

Edit and render 3D scenes over MCP: rooms, nodes, materials, cameras, and snapshots.

io.github.itelo/view-sim

See a site on phones, tablets and laptops in Safari, Chrome, Firefox or Zen frames; PNG screenshots.

io.github.getedgehq/edge

Gives your agent the right public skill for each task and loads it on demand.

io.github.komakeule57-maker/frugal-memory

Memory for AI assistants in one SQLite file: full-text search, no vectors, no embeddings.

io.github.blwfish/freecad-mcp

用 Claude 控制 FreeCAD——3D 建模、PartDesign、CAM 刀路等 30 余个工具。