Catalog
Every x402, MPP, MCP, and skill listing we've indexed, normalized, and enriched.
io.github.mrfentmen/verse-mcp
Verse MCP: 20 real tools to read, check, lint, scaffold, build and run Verse code.
io.github.mrfentmen/verilog-mcp
Verilog MCP: 20 real tools to read, check, lint, scaffold, build and run Verilog code.
io.github.mrfentmen/vdm-sl-mcp
VDM-SL MCP: 20 real tools to read, check, lint, scaffold, build and run VDM-SL code.
io.github.mrfentmen/vdm-mcp
VDM MCP: 20 real tools to read, check, lint, scaffold, build and run VDM code.
io.github.mrfentmen/vbscript-mcp
VBScript MCP: 20 real tools to read, check, lint, scaffold, build and run VBScript code.
io.github.mrfentmen/vba-mcp
VBA MCP: 20 real tools to read, check, lint, scaffold, build and run VBA code.
io.github.mrfentmen/vala-mcp
Vala MCP: 20 real tools to read, check, lint, scaffold, build and run Vala code.
io.github.mrfentmen/usgs-earthquake-mcp
USGS Earthquakes: recent quakes with magnitude, place and time - keyless.
io.github.mrfentmen/urweb-mcp
Ur/Web MCP: 20 real tools to read, check, lint, scaffold, build and run Ur/Web code.
io.github.mrfentmen/unison-mcp
Unison MCP: 20 real tools to read, check, lint, scaffold, build and run Unison code.
io.github.mrfentmen/uk-police-mcp
UK Police Data: street level crimes by coordinates and month - keyless.
io.github.mrfentmen/uiua-mcp
Uiua MCP: 20 real tools to read, check, lint, scaffold, build and run Uiua code.
io.github.mrfentmen/typespec-mcp
TypeSpec MCP: 20 real tools to read, check, lint, scaffold, build and run TypeSpec code.
io.github.mrfentmen/twelf-mcp
Twelf MCP: 20 real tools to read, check, lint, scaffold, build and run Twelf code.
io.github.mrfentmen/turing-mcp
Turing MCP: 20 real tools to read, check, lint, scaffold, build and run Turing code.
io.github.mrfentmen/tsql-mcp
T-SQL MCP: 20 real tools to read, check, lint, scaffold, build and run T-SQL code.
io.github.mrfentmen/truelayer-mcp
MCP server for TrueLayer open banking: accoun MCP: real tools for real work.
io.github.mrfentmen/tranco-mcp
Tranco: daily popularity rank for any domain from the Tranco research list - keyless.
io.github.mrfentmen/traccar-mcp
MCP server for Traccar: devices, positions, g MCP: real tools for real work.
io.github.mrfentmen/tolk-mcp
Tolk MCP: 20 real tools to read, check, lint, scaffold, build and run Tolk code.
io.github.mrfentmen/tla-mcp
TLA MCP: 20 real tools to read, check, lint, scaffold, build and run TLA code.
io.github.mrfentmen/tla-plus-mcp
TLA+ MCP: 20 real tools to read, check, lint, scaffold, build and run TLA+ code.