MCP servers tagged semantics

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

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.

Kcf Oss

KCF - the open standard for knowledge coding: turn a domain into a complete, machine-checked semantic model, then generate the application. Apache-2.0.