An MCP server for the Criage package manager, providing full client functionality via the MCP protocol.
MCP (Model Context Protocol) сервер для пакетного менеджера Criage. Предоставляет полный функционал клиента Criage через протокол MCP для интеграции с AI инструментами.
Этот сервер дублирует весь функционал клиента Criage и предоставляет его через MCP протокол. AI может использовать все возможности пакетного менеджера:
cd mcp-server
go mod tidy
go build -o criage-mcp-server .
MCP сервер работает через стандартные потоки ввода/вывода:
./criage-mcp-server
install_package
- Установка пакета из репозиторияuninstall_package
- Удаление установленного пакетаupdate_package
- Обновление пакета до последней версииlist_packages
- Список установленных пакетовpackage_info
- Подробная информация о пакетеsearch_packages
- Поиск пакетов в репозиторияхrepository_info
- Информация о репозиторииcreate_package
- Создание нового пакетаbuild_package
- Сборка пакетаpublish_package
- Публикация пакета в репозиторийСервер использует конфигурацию из ~/.criage/config.json
. Если файл не существует, создается автоматически с настройками по умолчанию:
{
"repositories": [
{
"name": "default",
"url": "http://localhost:8080",
"priority": 1,
"enabled": true
}
],
"global_path": "~/.criage/packages",
"local_path": "./criage_modules",
"cache_path": "~/.criage/cache",
"temp_path": "~/.criage/temp",
"timeout": 30,
"max_concurrency": 4,
"compression_level": 3,
"force_https": false
}
{
"jsonrpc": "2.0",
"id": 1,
"method": "tools/call",
"params": {
"name": "install_package",
"arguments": {
"name": "example-package",
"version": "1.0.0",
"global": false
}
}
}
{
"jsonrpc": "2.0",
"id": 2,
"method": "tools/call",
"params": {
"name": "search_packages",
"arguments": {
"query": "web framework"
}
}
}
{
"jsonrpc": "2.0",
"id": 3,
"method": "tools/call",
"params": {
"name": "create_package",
"arguments": {
"name": "my-package",
"template": "basic",
"author": "Мой автор",
"description": "Описание моего пакета"
}
}
}
mcp-server/
├── main.go # Основной файл MCP сервера
├── types.go # Структуры данных
├── package_manager.go # Пакетный менеджер
├── go.mod # Go модули
└── README.md # Документация
Сервер полностью совместим с Claude Desktop и другими MCP клиентами. Для добавления в Claude Desktop:
go build -o criage-mcp-server .
config.json
):{
"mcpServers": {
"criage": {
"command": "/path/to/criage-mcp-server"
}
}
}
Использует ту же лицензию, что и основной проект Criage.
Interact with the Lean theorem prover via the Language Server Protocol (LSP), enabling LLM agents to understand, analyze, and modify Lean projects.
A knowledge management tool for code repositories using vector embeddings, powered by a local Ollama service.
Interact with the Hyperliquid decentralized exchange by integrating its SDK.
A FastAPI-based gateway for the Model Context Protocol (MCP) designed to unify and scale AI toolchains.
Create secure tunnels to expose local servers to the internet using untun.
MCP server to provide Jira Tickets information to AI coding agents like Cursor.
Official Zeplin server for AI-assisted UI development.
Boost security in your dev lifecycle via SAST, SCA, Secrets & IaC scanning with Cycode.
Flag features, manage company data, and control feature access using Bucket.
A server for Zero-Vector's hybrid vector-graph persona and memory management system, featuring advanced LangGraph workflow capabilities.