Results for “lean”

Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicab

LeanKG: Stop Burning Tokens. Start Coding Lean.

Deterministic persistent memory for AI agents.

Token-lean web microfetch for LLM agents: any URL → clean markdown via CLI, MCP server, and Claude Code plugin. Real bro

MCP that brings persistent agent memory to Kiro, Claude Desktop, Cursor, and any MCP client — powered by agent-memory-da

MCP server for real-time news with bias scoring, live stock/ETF/crypto data, AI options pricing, balanced news synthesis

The most comprehensive code intelligence MCP server for AI coding agents. 40+ tools, 30+ languages, 9 agent integrations

The ultimate Claude Code optimization toolkit. 15 AI agents, 12 MCP servers, 17 hooks, autonomous token pipeline (60-99%

A lean MCP Server for Umami

Open-source 3D AI agent framework — GLB/glTF avatars with LLM brains, memory, emotions, and autonomous payments. MCP ser

MCP server exposing every Mealie API endpoint (250+ tools) via FastMCP

An MCP server that executes Python code in isolated rootless containers with optional MCP server proxying. Implementatio

Full Mistral AI MCP server — OCR, Voxtral audio, Codestral FIM, durable workflows, document extraction — for Claude Code

Pith is the hook that makes Claude Code sessions last 3x longer.

A Model Context Protocol (MCP) server for UniFi Network Controller, written in Go.

Headless, deterministic audio engine for AI agents: compose scores as data, render byte-reproducible PCM offline, then l

Extremely fast hybrid code search for agents.

MCP server for askTIAN — Chinese metaphysics (bazi, qimen, 5-element, daily energy) as decision-support tools for AI age

FCoP is a minimal protocol that lets multiple AI agents — running in Cursor, Claude Code, plain shells, CI runners — col

This repo is a local mcp server made for connecting Power BI to your llm for analysis purposes

llm-advisor-mcp

Multi-account Google MCP server for Claude Code: Gmail, Drive, Calendar, Sheets, Docs, Contacts, Search Console, and mor

AI-powered travel hacking and search with cash, points, miles, and award flights. Drop-in skills and MCP servers for Cla

MCP server for multi-provider web search and extraction: 13 search providers, 6 extract providers, routing diagnostics,

Codebase Context gives AI agents understanding of your codebase through semantic code search, team conventions, patterns

Agent Droid Bridge gives AI agents programmatic control over Android devices and emulators via ADB, exposed as an MCP se

XRAY MCP provides progressive code intelligence and navigation capabilities for AI assistants through structural code

Persistent memory MCP server with typed memories, decay scoring, and token-aware context injection

@DeusData

High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in mil

MCP server that fetches YouTube video transcripts and optionally summarizes them.

MCP server that connects Claude AI to Bitrix24 — CRM, tasks, disk, calendar, automations and more

A full featured, enterprise grade rust MCP SDK

MCP server for Sats4AI — the permissionless communication supercharger for humans and AI agents. 40+ Lightning-paid tool

ClawTouch MCP server — exposes a real USB-HID keyboard/mouse (Raspberry Pi Pico 2) as Model Context Protocol tools for a

iOS development ClaudeCode plugin for mindful token and context usage. Contains modular MCPs that group various Xcode/ID

Context engineering patterns and templates for AI coding agents. CLAUDE.md / AGENTS.md examples from single-file through

Facebook Pages marketing skills for Claude Code and Codex: high-share posts, hooks, engagement replies, and a weekly pla

Copy and paste prompts for cursor agent. Free for anyone to use or add to. This repository provides a curated collection

Unofficial D&D 5e Dungeon Master for Claude Code — persistent campaigns, full 5e mechanics, and an optional cinematic di

cursor/cc rules to facilitate the development of Domo Custom Apps

A Claude skill: land your first internship with no connections — concise resume, application system, founder cold emails

Native macOS app for tracking Claude Code usage — tokens, cost, rate-limit pacing, per-project breakdowns. SwiftUI + Swi

@krayong

A Claude Code status line with a reactive character plus cost, git, and usage widgets. Zero token spend, local-first, MI

Claude Code skill for creating and optimizing Claude Code skills. Includes optimization principles for LLM attention, ro

AI-proof thesis-writing skill for Claude Code: writes chapters, scans for 14 AI writing patterns (23-point framework — 1