code_ that_ ran_ search_ verified_ code
1 MCP server offers this tool
What it usually takes
limit– in 1 of 1query– 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
| Server | Inputs | Read-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,query | Not stated |