SSyncDev

Kibi MCP Server

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

Local serverstdio

What is the 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

Credentials and setup notes

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

More MCP options

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

Maintainer setup documentation.

Recorded tools

Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.

ToolWhat it does
reqSoftware requirements specifying functionality or constraints.
scenarioBDD scenarios describing user behavior (Given/When/Then).
testExecutable unit, integration, or e2e test cases.
factAtomic domain facts and invariants. Supports a **strict lane** for contradiction-sensitive modeling and a **context lane** (observation, meta) for bugs and workarounds.
adrArchitecture Decision Records documenting technical choices.
flagRuntime or config gates (feature flags, kill-switches).
eventDomain or system events published/consumed by components.
symbolAbstract code symbols (functions, classes, modules).
kibi-coreProlog-based knowledge graph that tracks entities across branches
kibi-cliCommand-line interface for automation and hooks
kibi-mcpModel Context Protocol server for LLM integration

How to install the Kibi MCP Server

{
  "mcpServers": {
    "cursor": {
      "command": "npx",
      "args": ["-y", "args"]
    }
  }
}

Add to claude_desktop_config.json, then restart Claude Desktop.

Configuration

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

Example prompts to try

  • “Use Kibi to req.”
  • “Use Kibi to scenario.”
  • “Use Kibi to test.”

Frequently asked questions

Kibi Cursor plugin - thin adapter for Cursor MCP integration and editor hooks Confirm the tools offered by your installed version in the connected client. Tool availability and permissions depend on the server and account configuration.

Alternatives to the Kibi MCP Server

Filesystem

Official

Read, search and edit files inside allowed directories with the Model Context Protocol reference Filesystem server.

File Systems & StorageTypeScript★ 63.0k

Context7

Official

Retrieve version-aware library documentation and code examples with Context7 MCP, using resolve-library-id and query-docs.

Documentation & API ReferencesRemoteTypeScript★ 32.0k

multi-llm-mcp

An MCP server that lets any IDE agent delegate coding tasks to any LLM — cloud APIs or local models — through a single unified interface.

Developer Tools

Reference Implementation

Reference mcp server implementation of draft mcp oauth spec https://modelcontextprotocol.io/specification/draft/basic/authorization#2-3-authorization-

Developer ToolsRemoteTypeScript

Coderbuds

Your team's shipping standards, org map and delivery metrics, inside your coding agent.

Developer ToolsRemote

MCP

MCP server for Polish legislation (Dziennik Ustaw / Monitor Polski) via Sejm ELI API.

Developer ToolsPython