搜索「GitHub」的结果

io.github.mrfentmen/isabelle-mcp

Isabelle MCP: 20 real tools to read, check, lint, scaffold, build and run Isabelle code.

io.github.mrfentmen/ip-subnet-mcp

IPv4 subnet calculator: network, broadcast, masks, host ranges and CIDR splitting - fully local.

io.github.mrfentmen/ip-api-mcp

ip-api: geolocate any IPv4 address with country, city, ISP and timezone - keyless.

io.github.mrfentmen/ioke-mcp

Ioke MCP: 20 real tools to read, check, lint, scaffold, build and run Ioke code.

io.github.mrfentmen/io-mcp

Io MCP: 20 real tools to read, check, lint, scaffold, build and run Io code.

io.github.mrfentmen/interpro-mcp

InterPro protein families and domains: search entries and find the domains in one protein - keyless.

io.github.mrfentmen/internetarchive-mcp

Internet Archive: books, films, audio, softwa MCP: real tools for real work.

io.github.mrfentmen/internet-archive-mcp

Internet Archive: search archived books, audio and collections by keyword - keyless.

io.github.mrfentmen/inspirehep-mcp

INSPIRE-HEP: particle physics papers with authors, arXiv ids and citations - keyless.

io.github.mrfentmen/inspire-hep-mcp

INSPIRE-HEP particle physics literature: search papers, read records and find authors - keyless.

io.github.mrfentmen/inno-setup-mcp

Inno Setup MCP: 20 real tools to read, check, lint, scaffold, build and run Inno Setup code.

io.github.mrfentmen/ink-mcp

Ink MCP: 20 real tools to read, check, lint, scaffold, build and run Ink code.

io.github.mrfentmen/inform7-mcp

Inform 7 MCP: 20 real tools to read, check, lint, scaffold, build and run Inform 7 code.

io.github.mrfentmen/increase-mcp

MCP server for Increase: accounts, ACH and wi MCP: real tools for real work.

io.github.mrfentmen/incident-timeline-mcp

Summarize local log timeline gaps and severit MCP: real tools for real work.

io.github.mrfentmen/imhex-pattern-mcp

ImHex Pattern Language MCP: real tools for real work.

io.github.mrfentmen/imba-mcp

Imba MCP: 20 real tools to read, check, lint, scaffold, build and run Imba code.

io.github.mrfentmen/imagej-macro-mcp

ImageJ Macro MCP: 20 real tools to read, check, lint, scaffold, build and run ImageJ Macro code.

io.github.mrfentmen/image-tools-mcp

Resize, compress, and inspect local images. No network and no key.

io.github.mrfentmen/il-assembly-mcp

IL Assembly MCP: 20 real tools to read, check, lint, scaffold, build and run IL Assembly code.

io.github.mrfentmen/igor-pro-mcp

IGOR Pro MCP: 20 real tools to read, check, lint, scaffold, build and run IGOR Pro code.

io.github.mrfentmen/ietf-mcp

IETF documents, RFCs, Internet-Drafts, and working groups.

io.github.mrfentmen/idris-mcp

Idris MCP: 20 real tools to read, check, lint, scaffold, build and run Idris code.

io.github.mrfentmen/idl-mcp

IDL MCP: 20 real tools to read, check, lint, scaffold, build and run IDL code.