"author:danielsimonjr" matching MCP servers:

Enables Claude Code to render LaTeX equations, TikZ diagrams, and documents into SVG or PNG formats via the UpMath API. It supports a wide range of TeX Live packages and syntax validation without requiring a local TeX installation.

Enables AI coding agents to run the veriharness verification CLI as MCP tools, covering model probing, benchmark drivers and runners, scoring, grading, materialization, environment derivation, and reading run artifacts. It spawns the CLI and forwards optional flags, streaming progress and enforcing per-tool timeouts.