Kibi MCP Server

Kibi Cursor plugin - thin adapter for Cursor MCP integration and editor hooks

What the server does

Kibi is a repo-local, per-git-branch, queryable knowledge base for software projects. It stores requirements, scenarios, tests, architecture decisions, and more as linked entities, ensuring end-to-end traceability between code and documentation.

• Tracks context across branches — — Every git branch gets its own KB snapshot, preserving context as you switch between features
• Enforces traceability — — Links code symbols to requirements, preventing orphan features and technical debt
• Validates automatically — — Rules catch missing requirements, dangling references, and consistency issues
• Agent-friendly — — LLM assistants can query and update knowledge base via MCP without risking file corruption
• Guides semantic modeling — — The MCP server can inspect prose requirements and suggest strict facts or reusable predicate facts before agents treat text as machine-checkable knowledge

Installation

args on npm is all you need. Most clients run it directly, so configuration is a few lines and a restart.

Available tools

The toolset is worth reading before you wire it up, because it tells you what the integration is really for:

• req — Software requirements specifying functionality or constraints
• scenario — BDD scenarios describing user behavior (Given/When/Then)
• test — Executable unit, integration, or e2e test cases
• fact — Atomic domain facts and invariants. Supports a strict lane for contradiction-sensitive modeling and a context lane (observation, meta) for
• adr — Architecture Decision Records documenting technical choices
• flag — Runtime or config gates (feature flags, kill-switches)
• event — Domain or system events published/consumed by components
• symbol — Abstract code symbols (functions, classes, modules)
• Agent-friendly — LLM assistants can query and update knowledge base via MCP without risking file corruption
• Event — Driven Architecture** — Map who publishes and consumes each domain event. Trace event flows and identify couplings across the system
• Branch — Local Memory** — Every git branch keeps its own KB snapshot. Switch contexts without losing traceability or polluting other branches
• kibi-core — Prolog-based knowledge graph that tracks entities across branches

Credentials and setup notes

• SWI-Prolog 9.0+ — Kibi's knowledge graph runs on Prolog

Worth knowing first

• It runs with your machine's permissions. That is convenient and also the reason to think about what you point it at before you approve a tool call.
• Keep per-call confirmation enabled while you learn its behaviour; it is the cheapest safeguard you have.

Recorded tools

• req — Software requirements specifying functionality or constraints.
• scenario — BDD scenarios describing user behavior (Given/When/Then).
• test — Executable unit, integration, or e2e test cases.
• fact — Atomic domain facts and invariants. Supports a strict lane for contradiction-sensitive modeling and a context lane (observation, meta) for bugs and workarounds.
• adr — Architecture Decision Records documenting technical choices.
• flag — Runtime or config gates (feature flags, kill-switches).
• event — Domain or system events published/consumed by components.
• symbol — Abstract code symbols (functions, classes, modules).
• kibi-core — Prolog-based knowledge graph that tracks entities across branches
• kibi-cli — Command-line interface for automation and hooks
• kibi-mcp — Model Context Protocol server for LLM integration

More MCP options

Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.