115 packages found
Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust bi
Lean Six Sigma PDF corpus MCP server (local snapshot of quanti/lean at HEAD 75cc41d)
Embedded, local-first agent memory. No server, no daemon, no mandatory cloud key.
A zero-dependency MCP and Local tool gateway: host your own tools in any language, forward and curate tools from other M
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicab
Run AI coding agents efficiently, and coordinate more than one of them. Zero fluff, zero runtime deps.
LeanKG: Stop Burning Tokens. Start Coding Lean.
AI antivirus for developer agents: protect Codex, Claude Code, Cursor, Gemini, OpenCode, plugins, skills, MCP servers, a
Deterministic persistent memory for AI agents.
Free, nonpartisan, bilingual tool to find your members of Congress, understand active bills in plain language, and call.
Token-lean web microfetch for LLM agents: any URL → clean markdown via CLI, MCP server, and Claude Code plugin. Real bro
MCP server for real-time news with bias scoring, live stock/ETF/crypto data, AI options pricing, balanced news synthesis
Agentic-first Cursor Rules powered by MiniMax M3 - clarify-first prompting, interleaved thinking, and full tool orchestr
If using CLINE/RooCode/Cursor/Windsurf Setup these rules. Usable for newbies riding AI wave and experienced folks both .
MCP that brings persistent agent memory to Kiro, Claude Desktop, Cursor, and any MCP client — powered by agent-memory-da
The most comprehensive code intelligence MCP server for AI coding agents. 40+ tools, 30+ languages, 9 agent integrations
Depth-first lead finder for a pentest/bug-bounty offering: a FastMCP server (Prospeo contact resolution + lead store) dr
MCP server for the NewsAgent Data API — scored, classified Russian & English news intelligence for AI agents (Claude, Cu
A lean MCP Server for Umami
The fastest path to AI-powered full stack observability, even for lean teams.
MCP server: search + execute over OpenAPI 3, Swagger 2, or Google Discovery, with optional internal GraphQL for lean API
AI powered automation toolkit which acts as an agent that discovers MCP servers for you. Point it at GitHub/npm/configur
Persistent, encrypted memory for AI agents: one Rust binary, one file, no cloud. 55+ MCP tools, hybrid recall, bi-tempor
Open-source 3D AI agent framework — GLB/glTF avatars with LLM brains, memory, emotions, and autonomous payments. MCP ser
A meta-skill that produces skills. Point it at any codebase and it distills the project's rules, workflows, and hard-won
Local-first memory for AI agents — one SQLite file you own, offline, no API key. Claude Code plugin for automatic recall
MCP server exposing every Mealie API endpoint (250+ tools) via FastMCP
Local codebase intelligence CLI + MCP server for AI coding agents: SQLite code graph, 28 languages, 238 commands, 224 MC
InfraNode - free, key-less open-data REST API + MCP server for 84 German cities
Lingua Universale -- a verification language for AI agent protocols. Like mypy for multi-agent communication. 3696 tests
An MCP server that executes Python code in isolated rootless containers with optional MCP server proxying. Implementatio
Live context engine for AI assistants — resolve-before-context, session waypoints, and tool-selection intelligence for H
Monitor the Model Context Protocol (MCP) Registry for new, updated, and removed servers. Get real-time notifications via
MCP server for Chart Library — visual chart pattern search engine. Find similar historical stock charts and see what hap
Fagun - One MCP server that gives any AI tool a real browser to click, crawl, and find real bugs — functional, security,
Full Mistral AI MCP server — OCR, Voxtral audio, Codestral FIM, durable workflows, document extraction — for Claude Code
Open-source self-hosted AI agent runtime and multi-agent framework for autonomous agent swarms. Agent memory, MCP tools,
industrial-aiops
Convert GitHub repositories to MCP servers automatically. Extract tools from OpenAPI, GraphQL & REST APIs for Claude Des
Open-source ETL/ELT on DuckDB. Write, wire, or draw one pipeline: 350+ components, 160+ connectors, dbt, CDC, data quali
Fast, lightweight Firecrawl alternative in Rust. Web scraper, crawler & search API with MCP server for AI agents. Drop-i
Persistent long-term memory for Claude — an MCP server with an associative memory bank, a canonical-fact cortex, sleep-l
MCP server giving AI coding agents offline, token-efficient persistent memory — recall decisions, patterns, and bugs acr
Local-first memory engine for AI-agent teams — private/team/project ACL, associative recall, federated sync, and a built
MCP server for controlling HomeMatic smart home devices via the CCU JSON-RPC API
MCP server for askTIAN — Chinese metaphysics (bazi, qimen, 5-element, daily energy) as decision-support tools for AI age
Self-hosted memory for Claude — markdown knowledge base with wikilink graph, hybrid semantic search (pgvector + Ollama),
A control plane for trustworthy AI agents: write product judgment once, then enforce it through typed MCP tools, git gat