This document provides detailed installation instructions for kibi.
Kibi depends on SWI-Prolog 9.0+. You must have swipl installed and available in your PATH before installing kibi.
The official SWI-Prolog project provides a Personal Package Archive (PPA) for Ubuntu that stays current with every release. This is the recommended installation method for Ubuntu users.
sudo apt-get install software-properties-common
sudo apt-add-repository ppa:swi-prolog/stable
sudo apt-get update
sudo apt-get install swi-prologOfficial Linux distribution packages are often outdated. For other Linux distributions, please refer to the official SWI-Prolog documentation:
- Unix/Linux installation guide - Comprehensive instructions for building from source or using other methods
- Stable downloads page - Source archives and binaries
- Flatpak - Available for most Linux distributions
After installation, verify that swipl is available:
swipl --versionYou should see output like SWI-Prolog version 10.x.x.
Install the kibi CLI and MCP server globally using npm:
npm install -g kibi-cli kibi-mcpIf you prefer bun as your package manager:
bun add -g kibi-cli kibi-mcpAfter installation, verify that both tools are available:
kibi --version
kibi-mcp --helpThis repository uses local built kibi-mcp and kibi-opencode artifacts in its OpenCode setup. After changing package versions or local package wiring, rebuild before testing or using OpenCode here:
bun run buildIf you see "command not found" after installing kibi, you may need to adjust your PATH:
-
Check global npm/bin location:
npm config get prefix
The output shows where npm installs global packages.
-
Add to PATH (if needed): Add the global bin directory to your shell configuration:
# For bash (in ~/.bashrc or ~/.bash_profile): export PATH="$PATH:/usr/local/bin" # For zsh (in ~/.zshrc): export PATH="$PATH:/home/$USER/.npm-global/bin"
-
Reload your shell configuration:
source ~/.bashrc # or source ~/.zshrc
If you encounter problems with SWI-Prolog:
- Refer to the SWI-Prolog build documentation for platform-specific guidance
- Check the SWI-Prolog FAQ
- Report issues on the SWI-Prolog forum
After installing kibi and verifying SWI-Prolog:
- Verify your environment:
kibi doctor - Initialize your project:
kibi init - Import documentation:
kibi sync - Explore the KB:
kibi search <query> - Inspect branch freshness:
kibi status - Validate integrity:
kibi check
Example:
kibi doctor
kibi init
kibi sync
kibi search auth
kibi status
kibi checkFor more details, see:
- Quick Start - Brief getting started guide
- CLI Reference - Complete command documentation
- Troubleshooting - Recovery procedures