Claude Code

Slm MCP Hub

The world's first MCP gateway that learns — intelligent federation, caching, cost tracking, and SLM memory integration

Forge

Self-hosted lifecycle platform for software powered by Claude Code. Configurable pipelines, devices you control, no credentials on the serve...

LeanProbe

Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

Spec Editor

Drop requirements docs → AI agents debate → structured specs with @implements in 7 languages.

Kuma

Not a plugin for one agent — an infrastructure layer for ALL agents. Works with Claude Code, GitHub Copilot (Codex), Gemini CLI, Cursor, and...

Kicad Jlcpcb

Claude Code plugin that turns a PCB idea into a wired .kicad_pcb ready for EasyEDA auto-routing and one-click JLCPCB ordering — LCSC part so...

Phantom Secrets

Stop AI coding agents from leaking your API keys. Local proxy + MCP that swaps real secrets for phm_ tokens — works with Claude Code, Cursor...

Agentshield

MCP security scanner for Claude, Cursor, OpenAI Agents, LangGraph and CrewAI - offline Rust SAST with SARIF for GitHub Code Scanning

Totem

Deterministic, file-anchored toolkit for AI-agent work — context you can query, rules you can enforce, state you can derive.

OASiS

OASiS — an open-source multi-physics and multi-code framework for verified computer simulations. Model Context Protocol (MCP) server connect...

Snapdiff MCP

Standalone MCP server for SnapDiff

Modular Context Obsidian Plugin

Modular Context | Karpathy LLM Knowledge Base + Gmail & G-Cal — multi-account MCP server for Claude Code, encrypted local-first