code_that_ran_search_verified_code

1 MCP server offers this tool

What it usually takes

  • limit – in 1 of 1
  • query – in 1 of 1

No server marks it as only reading: treat it as able to change data.

From each publisher's own tool list. We never call a tool.

Servers

ServerInputsRead-only?
Syntology: code that ran co.huggingface.syntology/code-that-ran Browse Syntology's index of implementations it has verified, by method name. Returns each implementation's method name, the paper it comes from (arXiv id and title), its publication year, language and verification level, and its code_sha256, which get_code_sample takes. The licence decision comes with get_code_sample. Returns: Matching verified implementations, as JSON.limit,queryNot stated