Math & Logic

Solve complex algebraic equations, simplify expressions, and perform calculus operations effortlessly.

От сообществаРаботаетБез входаГлобальныйБесплатноТолько чтение

Что умеет

  • Solve Equation: Solve an algebraic equation symbolically and return solutions with proof steps.
  • Simplify Expression: Simplify, factor, or expand a mathematical expression with proof steps.
  • Compute Derivative: Compute the derivative of a mathematical expression with proof steps.

Какие данные видит

Нужен ли аккаунт

Не нужен: сервер работает без входа

Solve complex algebraic equations, simplify expressions, and perform calculus operations effortlessly. Verify the validity of propositional logic formulas to ensure sound reasoning and accuracy. Perform safe arithmetic evaluations to obtain precise mathematical results instantly.

Как подключить

Как подключить Math & Logic к Claude

Адрес сервера, который нужно вставить в настройках Claude:

https://math-logic--ikra.run.tools

  1. Откройте Claude (сайт claude.ai или приложение для компьютера).
  2. Перейдите в Настройки → Коннекторы (в английском интерфейсе: Settings → Connectors).
  3. Нажмите Добавить пользовательский коннектор (Add custom connector).
  4. Вставьте адрес сервера, скопированный ниже, в поле URL удалённого MCP-сервера и нажмите Добавить.
  5. В чате нажмите + → Коннекторы и включите новый коннектор.

Пользовательские коннекторы доступны на тарифах Free, Pro, Max, Team и Enterprise. На Free можно добавить только один. В Team и Enterprise коннектор сначала добавляет владелец организации в Настройки организации → Коннекторы.

Авторизация

После нажатия Добавить откроется окно входа в сервис. Войдите под своим аккаунтом и подтвердите доступ. Пароль Claude не видит.

Как подключить Math & Logic к ChatGPT

Адрес сервера, который нужно вставить в настройках ChatGPT:

https://math-logic--ikra.run.tools

  1. Откройте ChatGPT в браузере (chatgpt.com). Нужен тариф Plus, Pro, Business, Enterprise или Edu.
  2. Один раз включите режим разработчика: Настройки → Приложения → Дополнительные настройки → Режим разработчика (Settings → Apps → Advanced settings → Developer mode).
  3. Откройте Настройки → Коннекторы и нажмите Создать (Create).
  4. Заполните форму: Название (любое), Описание (одна фраза, что делает сервис), URL MCP-сервера (скопируйте ниже).
  5. В поле Аутентификация выберите OAuth, если сервис требует вход, иначе Нет. Нажмите Создать.
  6. В новом чате откройте + → Приложения/Коннекторы и включите коннектор.

Название раздела у OpenAI менялось (Connectors → Apps/Plugins). Если пункт называется иначе, ищите «режим разработчика» в настройках. В рабочих пространствах Business/Enterprise администратор должен разрешить пользовательские коннекторы.

Авторизация

При первом использовании ChatGPT откроет окно входа в сервис. Войдите и подтвердите доступ.

Как подключить Math & Logic к Cursor

Адрес сервера, который нужно вставить в настройках Cursor:

https://math-logic--ikra.run.tools

Быстрый способ: нажмите кнопку Открыть в Cursor ниже, Cursor сам предложит добавить сервер.

Вручную:

  1. В Cursor откройте Settings → Cursor Settings → MCP и нажмите Add new global MCP server.
  2. Вставьте JSON, скопированный ниже, в открывшийся файл ~/.cursor/mcp.json (для одного проекта: .cursor/mcp.json в корне проекта).
  3. Сохраните файл. Сервер появится в списке MCP; при необходимости пройдите авторизацию по кнопке рядом с ним.

Авторизация

Если сервис требует вход, рядом с сервером в списке MCP появится кнопка авторизации.

Список инструментов сервера (6)

Технические названия из tools/list. Нужны только разработчикам.

solve_equationSolve an algebraic equation symbolically and return solutions with proof steps.
simplify_expressionSimplify, factor, or expand a mathematical expression with proof steps.
compute_derivativeCompute the derivative of a mathematical expression with proof steps.
compute_integralCompute the indefinite integral of a mathematical expression with proof steps.
check_logicCheck a propositional logic formula for satisfiability, tautology, or generate a truth table.
verify_arithmeticSafely evaluate an arithmetic expression using only whitelisted operators and functions.