MCP Servers

Access your KStreak notes, Knowledge Ledger, tasks & goals from Claude, ChatGPT, Cursor, or any MCP.

Query Lineage 2 private server openings by chronicle through the public L2 Calendar API.

Latin American data for AI agents: tax-ID validation, indicators, FX, company lookups, holidays

Space launches, pads, agencies and events from the Launch Library 2 database.

Secure local workspace connector for LaunchLint mobile app checks

Lean 4 MCP: 20 real tools to read, check, lint, scaffold, build and run Lean 4 code.

Zero-knowledge encrypted vault for AI agents. EU-hosted persistent storage.

The official Letmediff MCP server helping you review your code with an agent first workflow

Limbo MCP: 20 real tools to read, check, lint, scaffold, build and run Limbo code.

Linear Programming MCP: read, check, lint, scaffold and run code.

Extract URL metadata (Open Graph, Twitter Cards, JSON-LD) from any URL

Privacy-first URL shortener with analytics

Literate Haskell MCP: read, check, lint, scaffold and run code.

Benchmark AI models on real prompts. Find cheaper, faster alternatives across 340+ models.

LLVM IR MCP: 20 real tools to read, check, lint, scaffold, build and run LLVM IR code.

Lints PostgreSQL migrations for dangerous locking operations and suggests safe rewrites.

A fully local MCP server for long-term memory with semantic search

Agent context flight recorder: restore after compaction, fan-out packs, signed git-bound receipts.

Bounded local MCP access to one approved repository for AI read/search and structured handoffs.

Premium Flutter UI components for AI coding agents. 46 widgets, 3 themes, light/dark mode.

M MCP: 20 real tools to read, check, lint, scaffold, build and run M code.