Tractatus Thinking

MCP MCP Servers Open Source v4.0.10 · 29.08.2025 активный

MCP-сервер логического анализа по методу Витгенштейна: структурирует запутанное мышление через декомпозицию пропозиций, выявляет противоречия и уточняет концепции. Философский reasoning toolkit для AI-агентов.

v4.0.10
29.08.2025 current
v0.1.0
01.01.2025
Добавлен 06.07.2026 · Обновлён 07.07.2026 · MCP Servers
Установка
# Установка:
git clone https://gitlab.com/CochainComplex/tractatus-thinking.git
cd tractatus-thinking
pip install -r requirements.txt

# Claude Desktop — claude_desktop_config.json:
{ "mcpServers": { "tractatus": { "command": "python", "args": ["/path/to/tractatus-thinking/server.py"] } } }

# Claude Code (CLI):
claude mcp add tractatus -- python /path/to/tractatus-thinking/server.py

# OpenCode — ~/.config/opencode/opencode.json:
{ "mcp": { "tractatus": { "type": "local", "command": ["python", "/path/to/tractatus-thinking/server.py"] } } }
переведено ИИ

Tractatus Thinking

Нравится sequential-thinking? Вам также понадобится и Tractatus-Thinking

Если вы используете sequential-thinking MCP, вы знаете силу структурированного рассуждения. Но sequential thinking показывает ВАМ, КАК решать проблемы пошагово. Tractatus-Thinking показывает, С ЧЕМ вы на самом деле имеете дело.

Логический анализ концепций через структурную декомпозицию

Tractatus Thinking - Where AI meets philosophical analysis

MCP Compatible TypeScript Tests Coverage npm version npm downloads

Что такое tractatus_thinking?

Сервер протокола контекста модели (MCP), который разбивает сложные концепции на их основные логические компоненты. Основанный на методе Витгенштейна из «Трактата», он помогает AI-ассистентам систематически анализировать идеи через иерархические утверждения.

Зачем вам нужны оба инструмента:

Sequential-Thinking Tractatus-Thinking
Раскрывает процесс Раскрывает структуру
Показывает, КАК что-то сделать Показывает, ЧТО это такое
Линейная цепочка шагов Иерархическое дерево концепций
«Сначала сделай A, затем B, затем C» «A требует (B И C И D)»
Идеален для исполнения Идеален для понимания
Находит путь вперед Находит скрытые требования

Сила комбинации:

  • Используйте Tractatus ПЕРВЫМ, чтобы понять, с чем вы имеете дело — выявите все скрытые требования и зависимости.
  • Затем используйте Sequential, чтобы систематически запланировать, как выполнить каждое требование.
  • Вместе: Полное понимание + безупречное исполнение.

Реальный пример:

Вопрос: «Как сделать мой стартап успешным?»

Sequential-Thinking дает вам:

1. Identify a problem
2. Build an MVP
3. Find customers
4. Iterate based on feedback
5. Scale when ready

Tractatus-Thinking раскрывает:

Success = (Value Creation × Market Fit × Execution)
- If ANY factor is zero, success is zero
- Sequential thinking might perfect your execution (steps 1-5)
- But miss that your market doesn't actually exist

Это то, чего sequential-thinking НЕ МОЖЕТ сделать — раскрыть мультипликативную природу требований, где пропуск ЛЮБОГО одного фактора гарантирует провал, независимо от того, насколько хорошо вы выполняете шаги.

Что делает Tractatus мощным?

Прорвите сквозь запутанное мышление — Когда идеи кажутся спутанными или определения циклическими, Tractatus раскрывает скрытую структуру под ними, показывая точно, как концепции связаны друг с другом.

Найдите то, что действительно требуется — Откройте разницу между тем, что должно быть истинным (мультипликативные требования) и тем, что просто является распространенным (аддитивные характеристики). Эта ясность преобразует принятие решений.

Постройте точное понимание — Переходите от расплывчатых интуиций к точным определениям. Идеально подходит для технической документации, проектирования систем и везде, где важна точность.

Проблема естественного языка

Когда мы мыслим на естественном языке, мы бессознательно объединяем несколько идей: «Хороший код — чистый, поддерживаемый и масштабируемый». Но что именно делает код «чистым»? Как чистота связана с поддерживаемостью? Всегда ли они связаны?

Решение Tractatus

Этот инструмент заставляет вас декомпозировать объединенные мысли в атомарные утверждения, раскрывая: - Скрытые предположения, о которых вы не подозревали - Логические зависимости между концепциями - Структурные отношения, которые скрывает естественный язык - Точные определения вместо расплывчатых интуиций

Быстрый старт

Новые пользователи: Смотрите QUICKSTART.md для подробных инструкций по настройке с примерами!

1. Установите (Выберите один способ)

Вариант A: Сборка из исходников

git clone https://gitlab.com/CochainComplex/tractatus-thinking.git
cd tractatus_thinking
npm install
npm run build

Вариант B: Глобальная установка через NPM

npm install -g tractatus_thinking

Вариант C: NPX (без установки)

Используйте напрямую в конфигурации Claude Desktop без установки (см. шаг 2)

2. Настройте Claude Desktop

Найдите ваш файл конфигурации: - Mac: ~/Library/Application Support/Claude/claude_desktop_config.json - Windows: %APPDATA%\Claude\claude_desktop_config.json - Linux: ~/.config/Claude/claude_desktop_config.json

Добавьте соответствующую конфигурацию:

Для сборки из исходников (Вариант A):

{
  "mcpServers": {
    "tractatus_thinking": {
      "command": "node",
      "args": ["/absolute/path/to/tractatus_thinking/dist/index.js"]
    }
  }
}

Для глобальной установки через NPM (Вариант B):

{
  "mcpServers": {
    "tractatus_thinking": {
      "command": "tractatus_thinking"
    }
  }
}

Для NPX (Вариант C - установка не требуется):

{
  "mcpServers": {
    "tractatus_thinking": {
      "command": "npx",
      "args": ["-y", "tractatus_thinking@latest"]
    }
  }
}

3. Перезапустите Claude и начните использовать

  1. Полностью перезапустите Claude Desktop
  2. Ищите значок вилки в области ввода
  3. Начните анализировать:
"Use Tractatus thinking to analyze what makes code maintainable"
"Help me understand the concept of technical debt using Tractatus"
"Break down what artificial intelligence really is"

Нужна помощь? Смотрите QUICKSTART.md для устранения неполадок и дополнительных примеров!

Что он делает

Tractatus Thinking преобразует расплывчатые концепции в точные логические структуры. Вместо циклических определений и объединенных идей вы получаете:

  • Атомарные утверждения — Каждая идея выражена как одно четкое утверждение.
  • Логическую иерархию — Пронумерованную структуру, показывающую точные отношения (1, 1.1, 1.11).
  • Скрытые зависимости — Раскрывает, какие факторы должны быть ИСТИННЫМИ ОДНОВРЕМЕННО (мультипликативные), а какие являются факультативными дополнениями.
  • Точные определения — Больше никакого «вы понимаете, что я имею в виду» — все четко и ясно.

Пример: «Что делает стартап успешным?»

Естественное мышление генерирует: Команда, финансирование, соответствие рынку, время, исполнение...

Tractatus Thinking раскрывает:

1. Startup success requires value creation
   1.1 Value emerges from solving real problems
   1.2 Problems must affect enough people
   1.3 Solutions must be technically feasible
2. Startup success requires market fit
   2.1 Product capabilities match user needs
   2.2 Pricing matches perceived value
3. Startup success requires execution capability
   3.1 Team can build the solution
   3.2 Resources sustain operations

Обратите внимание, как Tractatus разделяет три независимых требования (умножение, а не сложение) — пропуск любого из них означает провал, что скрывает естественный язык.

Пример 2: «Что такое сознание?»

Естественное мышление генерирует: Осознанность, чувствование, самосознание, субъективный опыт, «трудная проблема»...

Tractatus Thinking раскрывает:

1. Consciousness is subjective experience
   1.1 Experience has qualitative properties (qualia)
      1.11 Qualia are private and directly known
      1.12 Qualia cannot be reduced to physical description
   1.2 Experience requires a subject who experiences
      1.21 Subject persists through time
      1.22 Subject integrates multiple experiences
2. Consciousness exhibits intentionality
   2.1 Mental states are about something
   2.2 Aboutness creates subject-object relationship
3. Consciousness enables self-awareness
   3.1 System can model itself
   3.2 Model influences system behavior

Это раскрывает, что сознание — не одна вещь, а ТРИ различных явления, которые часто смешивают. Анализ останавливается на 1.12, потому что дальнейшая декомпозиция упирается в границы философского молчания — то, что Витгенштейн называл «о чем невозможно говорить».

Примеры использования

Базовый анализ

You: "Use Tractatus to analyze what makes code maintainable"

Claude: Starting Tractatus analysis...

1. Maintainable code enables efficient modification
   1.1 Modifications require understanding existing code
   1.2 Understanding requires clear structure
   1.3 Clear structure emerges from consistent patterns
2. Maintainable code minimizes change impact
   2.1 Changes isolated through loose coupling
   2.2 Dependencies made explicit

Интерактивное построение

You: "Help me understand what makes a good API using Tractatus thinking"

Claude: Let's build this together. What's your first insight about good APIs?

You: "They should be easy to use"

Claude: Added as proposition 1. But "easy to use" bundles multiple concepts.
Can you identify what specifically makes an API easy to use?

You: "Clear naming and consistent patterns"

Claude: Excellent! I'll add these as:
1.1 Clear naming reveals intent
1.2 Consistent patterns reduce cognitive load

Разработка

# Install dependencies
npm install

# Run in development mode
npm run dev

# Build for production
npm run build

# Run tests
npm test              # All 218 tests
npm run test:coverage # With coverage report (67%)

# Type checking
npm run typecheck

# Linting
npm run lint

Технические детали

Операции инструмента MCP

Инструмент tractatus_thinking поддерживает следующие операции:

  • start — Начать анализ концепции
  • add — Добавить утверждения в логическую структуру
  • navigate — Навигация по дереву утверждений
  • analyze — Проверить полноту структуры
  • export — Экспорт анализа (markdown/json)
  • revise — Обновить содержание утверждения
  • move — Реструктурировать утверждения

Философская основа

Основные принципы

  • Структура Трактата: Утверждения нумеруются 1, 1.1, 1.11 (а не 1.1.1)
  • Атомарные мысли: Каждое утверждение выражает ровно одну идею
  • Логическая независимость: Соседние утверждения независимы
  • Границы молчания: Останавливается на метафизических/этических пределах

Структура проекта

tractatus_thinking/
├── src/                # TypeScript source
│   ├── tractatus/      # Core engine
│   ├── handlers/       # MCP handlers
│   ├── utils/          # Utilities
│   └── index.ts        # Entry point
├── tests/              # Test suite (218 tests)
├── dist/               # Built output
└── package.json        # Dependencies

СИСТЕМНЫЕ ТРЕБОВАНИЯ

  • Node.js 18+
  • npm 9+

О методе

Основанном на «Трактате логико-философском» Людвига Витгенштейна (1921), этот инструмент реализует систему иерархических утверждений, где сложные идеи декомпозируются в атомарные истины. Метод уважает философские границы — останавливается на метафизических пределах, «где необходимо молчать».

Лицензия

Лицензия MIT — смотрите файл LICENSE для подробностей.

Благодарности

  • Людвигу Витгенштейну за «Трактат логико-философский»
  • Команде протокола контекста модели (Model Context Protocol)
  • Участникам этой реализации
  • Вдохновлено открытием силы структурированного мышления с AI пользователем u/Ok_Pound_176 🎯

Готовый к использованию философский инструмент мышления для эпохи AI-рассуждений.


Лицензия

Лицензия MIT - Авторское право (c) 2025 Александр Варт

Смотрите файл LICENSE для подробностей.

Комментарии
Войдите, чтобы оставить комментарий