yogthos/
chiasmus
yogthos/chiasmusConnectors
Chiasmus is an MCP server that gives language models access to formal verification
211
jbeno/cursor-notebook-mcpConnectors
Model Context Protocol (MCP) server designed to allow AI agents within Cursor to interact with Jupyter Notebook (.ipynb) files
161
vinta/hal-9000Harnesses
Opinionated AI coding agent and dev environment automation for macOS
129
lancekrogers/
claude-code-go
lancekrogers/claude-code-goFrameworks & SDKs
Go SDK for Anthropic Claude Code CLI – unofficial Claude Code Go agent SDK
49
lineai-intelligence/
lineai-mcp-server
lineai-intelligence/lineai-mcp-serverConnectors
An MCP Server to utilize Lineai's rich software dependency data in your AI programming assistant.
38
SimpleEve/
development-skills
Reusable agent skills for end-to-end software delivery, from requirements and implementation to review, testing, and release.
34
MisterBrookT/
skill2
MisterBrookT/skill2Skills
Skills for your skills. Create, test, audit, package, and visualize Agent Skill libraries—locally.
33
nukeop/nuclearOther
Streaming music player that finds free music for you
18k
getpaseo/paseoAgents
Orchestrate multiple coding agents from desktop and mobile
17k
dohooo/
helmor
dohooo/helmorTools
Open-source local workbench for multi-agent software development.
1.3k
⚡️ A curated library of Agent Skills focused on Jetpack Compose performance.
502
FradSer/
mcp-server-mas-sequential-thinking
An advanced sequential thinking process using a Multi-Agent System (MAS) built with the Agno framework and served via MCP.
305
zapier/
connectors
zapier/connectorsConnectors
Connect your agent to the apps you already use - with or without Zapier.
164
codingagentsystem/casHarnesses
Multi-agent orchestration for Claude Code. Persistent memory, tasks, rules, and skills that make AI agents actually coordinate.
161
KatherLab/
STAMP
KatherLab/STAMPFrameworks & SDKs
Solid Tumor Associative Modeling in Pathology
128
the-void-ia/
void-box
the-void-ia/void-boxFrameworks & SDKs
Composable agent runtime with enforced isolation boundaries
88
HeshamFS/
materials-simulation-skills
Agent Skills for computational materials science -- numerical stability, solvers, meshing, convergence, and simulation workflows.
66
gabrielekarra/
mcp-anything
One command to turn any codebase into an MCP server
43
codelion/
dynamic-shell-server
codelion/dynamic-shell-serverConnectors
Dynamic Shell Command MCP Server
42
ayghri/
i-have-adhd
ayghri/i-have-adhdSkills
A skill to stop your coding agent from burying the answer. ADHD-friendly output.
38k
Real-time Claude Code usage monitor with predictions and warnings
8.7k
codeany-ai/
open-agent-sdk-typescript
codeany-ai/open-agent-sdk-typescriptFrameworks & SDKs
Agent-SDK without CLI dependencies, as an alternative to claude-agent-sdk, completely open source
2.7k
jerhadf/
linear-mcp-server
jerhadf/linear-mcp-serverConnectors
A server that integrates Linear's project management system with the Model Context Protocol (MCP) to allow LLMs to interact with Linear.
348
Advai-X/
advai-cli
Advai-X/advai-cliTools
Local-first CLI for agent skills, browser automation, knowledge bases, external CLIs, and terminal AI chat.
313