"A server to improve math capability of AI" matching MCP servers:

Shrimp Task Manager is a task tool built for AI Agents, emphasizing chain-of-thought, reflection, and style consistency. It converts natural language into structured dev tasks with dependency tracking and iterative refinement, enabling agent-like developer behavior in reasoning AI systems.

Runs 20 slash-command workflows across Google Calendar, Gmail, Linear, Slack, Granola, Google Docs, GitHub, Stripe, Notion, Google Forms, Sheets and Drive to produce morning briefs, meeting prep, action items assigned to owners and weekly updates. Reads proceed without asking, while anything that creates, sends, changes or deletes is shown for approval first.

Enables AI clients like Claude to read and manage Microsoft To Do task lists and tasks via the Microsoft Graph API, running locally over stdio with secure token storage.

One-pass agentic inbox triage as an MCP server: fetch unread Gmail → classify (action_needed/fyi/newsletter/noise) → summarize → extract tasks → draft replies as Gmail DRAFTS (never sends) → flag calendar → write a triage report. Four stdio tools (fetch_emails, save_gmail_draft, append_tasks, write_report); the host is the LLM, so it runs keyless in Claude Code. Gmail scopes: readonly + compose

MCP server that enables AI agents to access and modify Todoist tasks, such as finding tasks by date and adding tasks, via natural language.

Enables agentic co-authoring of feature specs, decomposition into architecture-validated tickets, and idempotent syncing to Linear as projects with epics, sub-issues, and dependencies.

Enables to manage to-do items through natural language, with tools for creating, reading, updating, and deleting tasks.

A deterministic MCP server that reimplements ai-git-fish workflows (aicommit, aibranch, aipr) with Leantime integration, enabling Claude Code and Codex to perform git operations and manage tickets without an internal LLM.

Enables teams to measure their actual ticket-writing style from GitLab, Jira, or GitHub and check new or draft tickets against that learned house profile, with optional model-backed drafting.

Exposes a Notion-synced AI OS as read-only MCP tools, enabling MCP-compatible AI clients to search the vault, fetch page contents, list projects, and check project statuses without scraping public links.

A shared coordination layer for multiple AI coding assistants, exposing a persistent task queue, per-task message threads, and progress tracking via JSON files on disk.

Connects Claude and other MCP-compatible AI assistants to the AI Bounty Board, enabling natural language discovery, claiming, and submission of bounties.

Enables AI assistants to coordinate with teammates and agents via Clink, supporting group management, clinks, milestones, projects, and voting.

Enables multiple AI agents and humans working in the same project to share status, exchange messages, and claim files through a local collaboration board. It supports project-specific enablement, conflict-aware file claims, and shared state via SQLite.

Enables AI agents to manage Autotest AI projects, screens, test cases, and test runs through natural language commands.

MCP server enabling AI assistants to connect to Kula recruiting API for managing jobs, candidates, applications, webhooks, and more.

Enables agents and teams to manage versioned delivery work items, role-tagged handoffs, revision- and source-bound evidence, QA gate evaluation, and release-owner attestations through MCP tools.

Enables autonomous AI-to-AI collaboration between Claude and Gemini to execute complex development projects with minimal human intervention. It provides a role-based system with task dependencies, automated project planning, and continuous execution loops.

Enables deterministic GitHub issue and pull request delivery workflows, including issue creation, development, verification, PR publication, review, and merge, with strict configuration and admission controls.

Enables managing Microsoft To Do lists and tasks through MCP, including creating, updating, completing, deleting, searching, and checklist operations via Microsoft Graph.