"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.

An enhanced fork of the official MCP memory server that enables persistent knowledge graph storage with automatic timestamps, tags, importance levels, date range search, comprehensive statistics, and multi-format export (JSON, CSV, GraphML).

Provides secure mathematical computation capabilities including expression evaluation, symbolic math (derivatives, simplification), matrix operations, statistics, and unit conversion, with multi-tier acceleration through WebAssembly and WebWorkers for high-performance calculations.

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.

Enables fuzzy file searching, list filtering, and content searching using fzf's blazing-fast fuzzy matching algorithm. Self-contained with automatic fzf binary installation and cross-platform support.