Humanities Helping Hands checker vs. io.github.Archerkattri/mathlas
Humanities Helping Hands checker es un servidor MCP publicado por humanitieshelpinghands.com. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). io.github.Archerkattri/mathlas es un servidor MCP publicado por Archerkattri. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Según nuestra pasada por los marketplaces del 2026-11-10. Este par lo eligió un lector, no nuestra regla de comparación, así que pedimos a los buscadores que no indexen la página.
Dónde se publica cada uno
| Marketplace |  Humanities Helping Hands checker |  io.github.Archerkattri/mathlas |
|---|---|---|
| Official MCP Registry | Publicado Versión: 1.1.0 Sin cifra publicada Sin marca · Visto por primera vez |
Publicado Versión: 1.5.0 Descargas por mes (PyPI): 268 Descargas por semana (PyPI): 41 Forks (GitHub): 1 Estrellas (GitHub): 12 Sin marca · Visto por primera vez |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Los datos lado a lado
| Dato | Humanities Helping Hands checker | io.github.Archerkattri/mathlas |
|---|---|---|
| Marketplaces que lo listan | 1 | 1 |
| Estrellas (GitHub) (distinto) | Sin cifra en GitHub | 12 |
| Forks (GitHub) (distinto) | Sin cifra en GitHub | 1 |
| Última versión | No publicado | No publicado |
| Dónde se ejecuta (distinto) | Servidor remoto (humanitieshelpinghands.com/mcp) | En tu equipo (mathlas-mcp) |
| Transporte (distinto) | Streamable HTTP | stdio |
| Herramientas que declara | No publicado | No publicado |
| Variables de entorno que pide (distinto) | No publicado | 2, de ellas secretos: 0 |
| Licencia | Sin indicar | Sin indicar |
| Repositorio (distinto) | Sin indicar | github.com/archerkattri/mathlas |
| Cambios en los últimos 7 días | 0 | 0 |
| Visto por primera vez (distinto) | 2026-10-31 | 2026-10-11 |
| Endpoint en la última comprobación (distinto) | Respondió hace 16 h | sin endpoint remoto que comprobemos |
Las filas en las que difieren tienen fondo tintado y valores en negrita. Donde los propios datos dicen qué valor es mejor (más marketplaces, una cifra mayor del mismo marketplace, una versión más reciente, una marca verified en un marketplace que lista a ambos), el mejor se marca además en verde con ▲ y el peor en rojo con ▼. Dónde se ejecuta, el transporte, las herramientas, los ajustes, los hooks, las partes del paquete, la licencia y los cambios de la semana se marcan solo como diferentes: más o menos no es mejor en sí.
Qué dice cada uno que hace
Humanities Helping Hands checker
121 machine-proven math facts, plus 49 real-world claims with machine-checked arithmetic
io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
Cómo ejecutar cada uno
Humanities Helping Hands checker Como servidor MCP remoto
claude mcp add --transport http checker https://humanitieshelpinghands.com/mcpio.github.Archerkattri/mathlas Como servidor MCP local: paquete PyPI
claude mcp add --transport stdio mathlas -- uvx mathlas-mcpComandos construidos solo con lo que declaran los marketplaces; el conjunto completo para cada cliente está en la ficha de cada uno.
Solo Humanities Helping Hands checker tiene un endpoint remoto que comprobamos. Cómo comprobamos los endpoints
Herramientas que declara cada uno
Los marketplaces de ninguno de los dos publican una lista de herramientas, así que no hay nada que comparar.
Ajustes que pide cada uno
Los marketplaces de Humanities Helping Hands checker no publican los ajustes que pide, así que no comparamos ajustes.
Qué puede hacer: Humanities Helping Hands checker · Qué puede hacer: io.github.Archerkattri/mathlas · Comparar otros dos plugins
Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.