MCP servers tagged eval-toolkit

2 live MCP servers tagged "eval-toolkit", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with eval-toolkit.

live servers

avg trust

Honeybadger

formal VM benchmark and inspectable reasoning runtime for testing whether language models can follow machine-like execution semantics on synthetic tasks.

Honeybadger

kroq86

formal VM benchmark and inspectable reasoning runtime for testing whether language models can follow machine-like execution semantics on synthetic tasks.

updated 6 months ago