agent-plugin

Official EbooksDepository agent skill, MCP config, and Agent Plugin manifest

Local-first, self-hosted AI agent runtime and MCP bridge with sandboxed sessions, memory, credentials, audit/replay, and a local Console.

Convert PDFs, Office docs, scanned images, and more to clean Markdown, JSON, or text locally with offline OCR—no servers, no API keys, fully private.

Skills de IA em português, por profissão: corretor de imóveis, prospecção e busca de vaga. Plugins do Claude Code que guardam o seu trabalho numa pasta do seu computador, sem servidor no meio. Grátis, MIT.

SDD Manager

Cross-session project memory for DeepSeek Harness (dsh) - native Cordis plugin. Xiamen University final project.

AI 编程助手声明核查插件：状态机、协议、数据模型与并发声称的可执行逻辑原语验证（代价、概率、期限、组合、UML 审查、前后回归、导出），含 dsh 原生工具与 Agent Skills。 | Claim verification for AI coding agents — executable logic-primitive checks for state machines, data models and concurrency: cost, probability, deadlines, composition, UML review, before/after regression, export. Native dsh tools + Agent Skills.

Portable Agent Plugins 1.0.0 package for Mailtea — skills plus MCP so AI agents can send, schedule, and manage email.

Claude Code, Codex, Copilot, Pi, OpenCode, Gemini, and Prime Agent versions of Poteto's pstack. Rigorous agent workflows with Cursor primitives translated for other harnesses.

Connect AI assistants to Calm using each user’s existing access.

Unified DeepSeek Harness plugin: role-based subagent routing + per-agent evolution (prefercmd/memory as knowledge allow/deny lists), so repeated tasks start from proven commands and save tokens. Unified subagent routing and evolution: prefercmd/memory serve as knowledge allow/deny lists, saving tokens.

Meet PixelLab Pip: a tiny pup who fetches the right PixelLab workflow. He follows human commands to create, edit, and animate pixel assets, then sniffs out a bigger prompt, scouts for a useful tool, and carries back what happened.

Engram-inspired memory MCP server with hot cache and pattern mining

TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.

Code forensics and analysis tool - investigate your codebase like a crime scene

Pyrefly LSP integration for Claude Code — fast Python type checking

Marksman Markdown language server packaged as a Claude Code LSP plugin marketplace

Embedded C/C++ AI engineering plugin — firmware skills (FreeRTOS, Keil, HardFault, state machines) + 1% Rule / Plan Verification Gate discipline | 嵌入式 C/C++ 工程 AI 插件:固件技能与 agent 纪律。 For Claude Code, Codex, Cursor, Kimi, OpenCode, ZCode and DeepSeek Harness (dsh)

Apache-2.0 LyraShield AI marketplace clients and integrations