Humanities Helping Hands checker
121 machine-proven math facts, plus 49 real-world claims with machine-checked arithmetic
MCP server · by humanitieshelpinghands.com
About
Humanities Helping Hands checker is an MCP server published by humanitieshelpinghands.com. Marketplaces we read that list it: 1 (Official MCP Registry). We first saw it on 2026-10-31 and have recorded no change since. As of our marketplace pass on 2026-11-10.
What it asks for
- Runs remotely
None of the marketplaces we read publishes its tools or the settings it asks for.
What it declares, asks for and runs, in full
Only install plugins from developers you trust. We list what marketplaces publish and do not test plugins.
Works with
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
A one-click link opens the client, which asks you to confirm before it adds the server.
From the marketplaces that list it and the MCP transport it declares, as each client documents them. We do not test plugins.
Connect
Commands and configs built only from what its marketplaces declare. We do not run them for you and do not test plugins.
As a remote MCP server
Built from what Official MCP Registry declares.
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"
}
}
}Where it is published
| Marketplace | Status | Version | Figures | Verified | First seen |
|---|---|---|---|---|---|
| Official MCP Registry (Open the registry record) | Listed | 1.1.0 | No figure published | Not marked |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
What changed
- Became a product we track
- Official MCP Registry: appeared
Similar plugins
Products whose own names, descriptions, tools and skills are closest in meaning to this one, on every marketplace we read. Closeness is ranked within this list only.
-
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
Similar plugins by marketplace
The same question asked of one marketplace at a time: is there an analog of this plugin there?
Has a listing on 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…
Has a listing on 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…
Has a listing on 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
Has a listing on 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.
Has a listing on 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.
Has a listing on 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…
Has a listing on 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.
Has a listing on 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.
Has a listing on 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.
Has a listing on 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.
Has a listing on 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.
Has a listing on 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
Found by meaning, not by shared code or a shared repository: similar plugins stay separate products, and this is not a review or a recommendation.
Want this mark on your plugin in our catalog?
Prove you maintain it with a file in its repository, a file on your domain or a DNS record, and you can show this mark on the card, with live banners for your site and README. How verification works
You also get alerts when a marketplace lists it, drops it, changes its verified mark or what it asks for, and its remote endpoint goes on monitoring as a web service.
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.