PIF MCP сервер

JSON-ориентированная среда выполнения лямбда-исчислений с метациркулярной оценкой, которая позволяет языковым моделям динамически развивать инструменты через метапрограммирование в безопасной среде выполнения с ограниченным топливом.

Установка

Из исходного кода

cabal build
cabal run mcp-pif

Режим отладки

MCP_DEBUG=1 cabal run mcp-pif

Доступные инструменты

Инструмент	Описание
`evolve`	Создание новых инструментов и сохранение их в реестре
`run`	Выполнение инструментов или встроенных лямбда-выражений
`list`	Отображение всех зарегистрированных инструментов
`help`	Показ документации по примитивам и системным инструментам

Возможности

Лямбда-исчисления с примитивами метапрограммирования (quote, eval, code_of)
Метациркулярная система, где инструменты могут анализировать и преобразовывать другие инструменты
Выполнение с ограниченным топливом для гарантии завершения
JSON-ориентированный синтаксис для всех вычислений
Комплексные примитивные операции (арифметика, логика, списки, пары)
Рекурсия на основе продолжений с паттернами аккумуляторов
Чистая оценка без I/O или побочных эффектов
Возможности интроспекции инструментов и анализа кода
Нормализация входных данных для эргономичного использования CLI
Неизменяемый реестр инструментов с безопасной изоляцией выполнения

Переменные окружения

Опциональные

MCP_DEBUG - Включить режим отладки для детального трейсинга оценки с отображением каждого шага, ключей окружения, операций замыкания и поиска кода инструментов

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

Create a tool that squares a number using lambda calculus

Build recursive factorial function with continuation-based execution

Implement higher-order functions like map using fold operations

Analyze and count operations in existing tool code

Create metaprogramming tools that transform other tools' source code

Ресурсы

GitHub Repository

Примечания

MCP-PIF поддерживает четкое разделение между чистыми вычислениями (эволюционирующие инструменты) и операциями с эффектами (MCP инструменты). Инструменты не могут создавать другие инструменты изнутри лямбда-исчислений из-за дизайна "горизонта событий", который предотвращает неограниченную самомодификацию. Система использует ограничения топлива (по умолчанию 10,000 шагов) и ограничения глубины eval (максимум 100) для безопасности.