# Axiomize

Axiomize помогает собирать версионные научные модели с единицами измерения, проверять их и экспортировать в SBML, CellML и Modelica.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 9
- Автор: Furox-Art
- Лицензия: MIT · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/Furox-Art/axiomize
- Обновлён: 2026-10-24
- HTML: https://affpapa.org/nevibecode/mcp/axiomize

## Что делает

Axiomize добавляет в рабочий процесс слой научного моделирования. Он превращает описание задачи в версионную математическую модель, где параметры и переменные связаны с единицами. Модель хранится в Model IR, проходит размерную и численную проверку, а результат можно экспортировать в SBML, CellML или Modelica.

MCP-сервер запускается через `axiomize mcp` и подключается к Claude Code командой `claude mcp add axiomize -- uvx axiomize`. Axiomize не заменяет библиотеку численных методов: его задача — формализовать предположения, структуру модели и проверяемый артефакт. Если модель записана без единиц измерения, размерная проверка завершится ошибкой.

## Требования
- Нужно: Python и uv (команды через uvx)

## Установка

### Claude Code (родная платформа)

**Командой платформы**
```bash
claude mcp add axiomize -- uvx axiomize
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from axiomize <команда>

### Codex

**Командой платформы**
```bash
codex mcp add axiomize -- uvx axiomize
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from axiomize <команда>

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "axiomize": {
            "command": "uvx",
            "args": [
                "axiomize"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from axiomize <команда>

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "servers": {
        "axiomize": {
            "type": "stdio",
            "command": "uvx",
            "args": [
                "axiomize"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from axiomize <команда>

### Gemini CLI

**Командой платформы**
```bash
gemini mcp add axiomize uvx axiomize
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from axiomize <команда>

## Когда брать
- формализовать идею как математическую модель
- проверить модель на ошибки размерностей
- сохранить предположения и параметры в версионном виде
- экспортировать модель в SBML, CellML или Modelica

## Примеры запросов агенту
- Собери из этого описания версионную математическую модель с явными единицами измерения.
- Проверь модель на размерные и численные ошибки и покажи результаты проверок.
- Подготовь экспорт этой модели в SBML, CellML и Modelica.

## Похожие
- [cobrapy](https://affpapa.org/nevibecode/skills/cobrapy.md) — скилл · 1900 установок
- [jupyter-notebook](https://affpapa.org/nevibecode/skills/jupyter-notebook.md) — скилл · 5600 установок
- [instrument-data-to-allotrope](https://affpapa.org/nevibecode/skills/instrument-data-to-allotrope.md) — скилл · 2400 установок
- [single-cell-rna-qc](https://affpapa.org/nevibecode/skills/single-cell-rna-qc.md) — скилл · 2400 установок
- [matplotlib](https://affpapa.org/nevibecode/skills/k-dense-ai-matplotlib.md) — скилл · 2200 установок
- [Tripitaka MCP](https://affpapa.org/nevibecode/mcp/tripitaka-mcp.md) — MCP-сервер · ★ 12

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md
