7379 Model Context Protocol servers — searchable, rated, ready to install.
Linear Programming MCP: read, check, lint, scaffold and run code.
Julia REPL MCP: 20 real tools to read, check, lint, scaffold, build and run Julia REPL code.
Tape MCP: 20 real tools to read, check, lint, scaffold, build and run Tape code.
Slash MCP: 20 real tools to read, check, lint, scaffold, build and run Slash code.
Isabelle ROOT MCP: 20 real tools to read, check, lint, scaffold, build and run Isabelle ROOT code.
Isabelle MCP: 20 real tools to read, check, lint, scaffold, build and run Isabelle code.
REXX MCP: 20 real tools to read, check, lint, scaffold, build and run REXX code.
Racket MCP: 20 real tools to read, check, lint, scaffold, build and run Racket code.
Slice MCP: 20 real tools to read, check, lint, scaffold, build and run Slice code.
Octave MCP: 20 real tools to read, check, lint, scaffold, build and run Octave code.
Smali MCP: 20 real tools to read, check, lint, scaffold, build and run Smali code.
Nushell MCP: 20 real tools to read, check, lint, scaffold, build and run Nushell code.
Salt MCP: 20 real tools to read, check, lint, scaffold, build and run Salt code.
ISPC MCP: 20 real tools to read, check, lint, scaffold, build and run ISPC code.
Teal MCP: 20 real tools to read, check, lint, scaffold, build and run Teal code.
Talon MCP: 20 real tools to read, check, lint, scaffold, build and run Talon code.
Qt Script MCP: 20 real tools to read, check, lint, scaffold, build and run Qt Script code.
RPGLE MCP: 20 real tools to read, check, lint, scaffold, build and run RPGLE code.
APL MCP: 20 real tools to read, check, lint, scaffold, build and run APL code.
Standard ML MCP: 20 real tools to read, check, lint, scaffold, build and run Standard ML code.
Monkey C MCP: 20 real tools to read, check, lint, scaffold, build and run Monkey C code.
DM MCP: 20 real tools to read, check, lint, scaffold, build and run DM code.
Independent, signed check of AI work: math, quotes, sources, links, code. Public verifiable log.
Tests MCP servers as clients meet them: menu, calls, results, sign-in, releases. No LLM.
POST /mcp