Developer Tools
kleisli.io
Provides access to and search functionality for documentation pages across multiple projects.
ENDPOINT 1
https://docs.kleisli.io/mcp/transport
MCP server metadata
- Name
- kleisli-docs-mcp
- Version
- 1.0.0
Known tools 3
list_projectsEnumerate the published documentation projects (drafts are excluded).
Inferred read-onlyget_pageFetch one documentation page as Markdown, given its project, section, and page slugs.
Inferred read-onlysearch_docsFind documentation pages by keyword or phrase across all projects — use this when you don't already know the exact project, section, and page.
Inferred read-onlyCONNECT WITH APPROVAL
Client installation
Review this server and its permissions before adding it. Secret placeholders must be set locally.
Codex
~/.codex/config.toml
[mcp_servers.kleisli-docs-mcp]
url = "https://docs.kleisli.io/mcp/transport"
enabled = true
Claude Code
.mcp.json
{
"mcpServers": {
"kleisli-docs-mcp": {
"type": "http",
"url": "https://docs.kleisli.io/mcp/transport"
}
}
}
Claude Desktop
Settings → Connectors → Add custom connector
Name: kleisli-docs-mcp
Remote MCP URL: https://docs.kleisli.io/mcp/transport
Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.
Cursor
.cursor/mcp.json
{
"mcpServers": {
"kleisli-docs-mcp": {
"url": "https://docs.kleisli.io/mcp/transport"
}
}
}
Visual Studio Code
.vscode/mcp.json
Add to Visual Studio Code{
"servers": {
"kleisli-docs-mcp": {
"type": "http",
"url": "https://docs.kleisli.io/mcp/transport"
}
}
}
Generic MCP
Client-specific MCP configuration
{
"name": "kleisli-docs-mcp",
"transport": "streamable-http",
"url": "https://docs.kleisli.io/mcp/transport"
}
MCP Inspector
Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.
TRUST AND VERIFICATION EVIDENCE
Trust Data Available
BuiltWith Trust API v2 evidence for kleisli.io was fetched 2026-07-27T20:28:11.357Z and is being refreshed.
kleisli.io is assessed as Trusted: Domain has an established technology history spanning over a year.
Evidence is source-attributed and does not guarantee that a third-party server is safe. Risk labels are conservative metadata heuristics.