MCP servers tagged derivation

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

live servers

avg trust

Nsforge MCP

Neurosymbolic Forge — an MCP server that turns concepts into verifiable, traceable formulas via deterministic symbolic derivation with provenance. 89 tools, 10-gate verification h…