GO
gonzalgo io.github.vince-gonzalez/gonzalgo 1.8 · 36/100 Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Version check not run yet
Developer tools Official MCP Registry Local
VD
VMware Debug io.github.vmware-skills/vmware-debug 1.8 · 36/100 VMware incident timeline, root-cause routing, local case ledger; no vSphere access. 14 MCP tools.
Version check not run yet
Developer tools Official MCP Registry Local
CY
Cynicalsally io.github.w1ckedxt/cynicalsally 1.8 · 36/100 Brutally honest code reviews: scores, real issues, and usable fixes. CLI + MCP server.
Version check not run yet
Developer tools Official MCP Registry Local
-
Audit Python and npm dependency licenses before you ship, judged against how you distribute.
Version check not run yet
Developer tools Official MCP Registry Local
GO
gonzalgo io.github.zengineco/gonzalgo 1.8 · 36/100 Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Version check not run yet
Developer tools Official MCP Registry Local
-
Read-only VMware incident correlation: timeline, spikes, root-cause routing. 2 MCP tools.
Version check not run yet
Developer tools Official MCP Registry Local
-
Debug a bad AI-agent run from your editor: which intent fails, at which step, and why.
Version check not run yet
Developer tools Official MCP Registry Local
SU
Surf tech.geckovision/surf 1.8 · 36/100 Point Gecko at an OpenAPI spec; get first-call-correct, auth-hidden agent tools.
100% up · 30 days
Developer tools Official MCP Registry Local Remote
-
CivicBinder: ADA Title II accessibility grades for US local-government websites.
Version check not run yet
Developer tools Official MCP Registry Local
-
Local proxy for OpenDexter's hosted governed x402 runtime: eight tools for OAuth-bound intents, status recovery, wallet authority, portfolio reads, and current work reports.
Not run: needs install scripts
Developer tools npm Local 100 a week MIT
-
Blazing fast AST-based MCP code search using OXC with optional Tree-sitter polyglot parsing
Version check not run yet
Developer tools npm Local 27 a week MIT
-
MCP server for JavaScript reverse engineering and debugging
Version check not run yet
Developer tools npm Local APACHE-2.0
-
Read-only MCP server: a coding agent reads test sessions recorded in QA Wrap. Local only.
Version check not run yet
Developer tools Official MCP Registry · npm Local MIT
-
Let AI agents see, tap, type, scroll, screenshot and debug your Expo app on a real phone.
Version check not run yet
Developer tools Official MCP Registry · npm Local MIT
PM
Parsi MCP io.github.amirjld/parsi-mcp 1.8 · 36/100 Offline Persian/Iran tools: Jalali dates, validators, Persian text, price inputs, RTL frontend.
Version check not run yet
Developer tools Official MCP Registry · npm Local MIT
LA
landmine io.github.devanshranjan10/landmines 1.8 · 36/100 Known open GitHub issues in your exact pinned dependency versions, for coding agents.
Version check not run yet
Coding agent tools Official MCP Registry · npm Local MIT
-
Compact MCP server for SAP ABAP ADT over Streamable HTTP: x-sap-* header credentials
Version check not run yet
Developer tools Official MCP Registry · npm Remote AGPL-3.0-ONLY
-
Read-only compact MCP server for SAP ABAP ADT over Streamable HTTP: x-sap-* headers
Version check not run yet
Developer tools Official MCP Registry · npm Remote AGPL-3.0-ONLY
AA
Abap Adt Http io.github.fr0ster/mcp-abap-adt-http 1.8 · 36/100 MCP server for SAP ABAP ADT over Streamable HTTP: credentials from x-sap-* headers per request
Version check not run yet
Developer tools Official MCP Registry · npm Remote AGPL-3.0-ONLY
-
Read-only MCP server for SAP ABAP ADT over Streamable HTTP: x-sap-* header credentials
Version check not run yet
Developer tools Official MCP Registry · npm Remote AGPL-3.0-ONLY