Humanities Helping Hands checker
121 machine-proven math facts, plus 49 real-world claims with machine-checked arithmetic
Servidor MCP · de humanitieshelpinghands.com
Resumo
Humanities Helping Hands checker é um servidor MCP publicado por humanitieshelpinghands.com. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-10-31 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-11-10.
O que pede
- Roda remotamente
Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Funciona com
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Um link de um clique abre o cliente, que pede confirmação antes de adicionar o servidor.
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como servidor MCP remoto
Gerado a partir do que Official MCP Registry declara.
claude mcp add --transport http checker https://humanitieshelpinghands.com/mcp[mcp_servers.checker]
url = "https://humanitieshelpinghands.com/mcp"{
"mcpServers": {
"checker": {
"url": "https://humanitieshelpinghands.com/mcp"
}
}
}Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 1.1.0 | Nenhum número publicado | Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
O que mudou
- Passou a ser um produto que acompanhamos
- Official MCP Registry: apareceu
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
Learning Model Context Protocol
Basic arithmetic tools with natural-language expression parsing and evaluation.
-
Exact arithmetic for AI agents. Two independent engines cross-check every result.
-
Open number-sense practice data and game catalogue for dyscalculia. Read-only.
-
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file…
-
calculators com.logiccommons/calculators
Find and run trustworthy calculators with clear methods, provenance, and sources.
-
calculator com.mcpcalc/calculator
Calculators accessible via MCP with real-time collaborative sessions and shareable URLs.
-
mathlas io.github.Archerkattri/mathlas
Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
-
36 free private calculator tools for Claude. No accounts, no data leaves your session.
-
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em Claude Code: claude-plugins-community (5)
-
Fortytwo Prime: collective multi-agent inference for high-stakes questions. ALWAYS use when the user says "Ask Fortytwo", "Ask Prime", "Ask Fortytwo Prime", or calls…
-
Convergent Socratic interview with mathematical ambiguity gating. 8-15 narrowing rounds + Contrarian/Simplifier Challenge Mode + JSONL decision log. Inspired by Sorbh/interview-me.
-
AI Cowork metabrain with Knowledge Graph, Thought Stack, Fuel Intelligence, and local AI Overseer. 20 native MCP tools for persistent session memory across Claude instances.
-
Japanese law firm plugin for Claude Code — court template filling, family tree generation (相続関係説明図), legal document proofreading, lawsuit analysis, e-Gov law search, and…
-
AI-powered personal tutor plugin for Claude Code. Features adaptive teaching with 3 styles (progressive, Socratic, structured), pre/post testing with generative questions, spaced…
Listado em Claude Code: claude-plugins-official (5)
-
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file…
-
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure…
-
Help Claude Code champions run hackathons and office hours, find patterns worth sharing, help teammates climb the steps of AI adoption, and write a shareable AI maturity report.
-
Continuous memory for Claude Code. Extracts, summarizes, and compresses conversations into tiered daily logs. Claude remembers what you did yesterday.
-
Turn any learning intent into a personalized Coursera experience. Asks three quick questions (topic, familiarity, preferred format), searches Coursera's catalog, and delivers the…
Listado em Claude: knowledge-work-plugins (5)
-
Turn any learning intent into a personalized Coursera experience. Asks three quick questions (topic, familiarity, preferred format), searches Coursera's catalog, and delivers the…
-
Connect to preclinical research tools and databases (literature search, genomics analysis, target prioritization) to accelerate early-stage life sciences R&D
-
Work in your GC AI legal knowledge base from Claude: upload documents, run review playbooks, and ask questions grounded in your own files, all as you.
-
Exa AI web search, deep research, and content extraction. Provides MCP tools and research skills for comprehensive web search, people discovery, company research, academic papers…
-
MCP server for terminal commands, file operations, and process management
Listado em Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
General life-sciences research workflows with query routing, evidence synthesis, and optional parallel subagent analysis across genetics, omics, biology, chemistry, structure…
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
Predict structures, screen molecules and proteins, and design binders.
Listado em Community GitHub marketplaces (5)
-
math-teacher
Interactive math teacher that instantly generates playful, gamified learning experiences. Creates visual playgrounds, interactive artifacts, and engaging games for kids and adults…
-
Pressure-test research claims with falsifiable verifier plans, AI-lab workflow patterns, medical evidence certainty, proof ladders, and proof ledgers.
-
teach-me
Teach a subject through source-grounded explanations, brief diagnostic tasks, practice, and adaptive feedback. Use when a learner asks to learn, understand, refresh, practice, or…
-
Decomposed reasoning with explicit confidence scoring. Break complex questions into verifiable units, score each independently, and synthesize with uncertainty tracking.
-
Adaptive learning tutor for any subject — four goal modes including full exam prep.
Listado em Copilot CLI: github/awesome-copilot (5)
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Codebase-grounded concept-mastery quizzes with an interactive BrainMax Canvas dashboard.
-
Visualizes live session AI-credit usage as a Pac-Man board with pellets, ghosts, fruit milestones, and game-over limits.
-
Task Researcher and Task Planner for intermediate to expert users and large codebases - Brought to you by microsoft/edge-ai
-
Multi-model council for Copilot CLI: three subagents on different model families (Anthropic, OpenAI, Google) answer independently, then build on each other or attack the leading…
Listado em Copilot CLI: github/copilot-plugins (5)
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
workiq-productivity
WorkIQ productivity skills powered by the local WorkIQ CLI — read-only insights across email, meetings, calendar, Teams, SharePoint, projects, and people.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Advanced Security plugin for GitHub Copilot.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
Listado em Cursor: cursor/plugins (5)
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Skill mapping, practice plans, and learning retrospectives.
-
Search company knowledge and draft verified answers.
-
Incremental transcript-driven memory updates for AGENTS.md using high-signal bullet points only.
-
Search meeting transcripts, summaries, and action items.
Listado em Docker MCP Catalog (4)
-
Real-time web search, reasoning, and research through Perplexity's API
-
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
-
Production-ready RAG service to search and retrieve data from your documents.
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
Listado em Official MCP Registry (5)
-
Learning Model Context Protocol
Basic arithmetic tools with natural-language expression parsing and evaluation.
-
Exact arithmetic for AI agents. Two independent engines cross-check every result.
-
Open number-sense practice data and game catalogue for dyscalculia. Read-only.
-
calculators com.logiccommons/calculators
Find and run trustworthy calculators with clear methods, provenance, and sources.
-
calculator com.mcpcalc/calculator
Calculators accessible via MCP with real-time collaborative sessions and shareable URLs.
Listado em PyPI (MCP servers) (5)
-
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
-
Model Context Protocol (MCP) To LangChain Tools Conversion Utility
-
Search Lacuna's ML research graph for papers, directions, authors, venues, and hypotheses.
-
Forecast questions about the future, including the outcome under each option.
-
An MCP server that provides access to the DBLP computer science bibliography for LLMs.
Listado em npm registry (MCP servers) (5)
-
calculator-mcp-server io.github.cyanheads/calculator-mcp-server
Evaluate, simplify, and differentiate mathematical expressions.
-
Maths a model gets wrong: units with dimensional checking, equations, sheets. 5 tools, local.
-
Decision lock, anti-hallucination, meta-evolution and provenance for any MCP agent. 55 tools.
-
Deep research assistant that checks its citations against the sources and keeps what it found.
-
Real-time web search, reasoning, and research through Perplexity's API
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Quer esta marca no seu plugin em nosso catálogo?
Prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS, e você poderá mostrar esta marca na ficha, com banners ao vivo para o seu site e o README. Como funciona a verificação
Você também recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.