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
szaffarano/
org-mcp-server
szaffarano/org-mcp-serverConnectors
MCP server for org-mode and org-roam knowledge base management
42
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
nukeop/nuclearOther
Streaming music player that finds free music for you
18k
dohooo/
helmor
dohooo/helmorTools
Open-source local workbench for multi-agent software development.
1.3k
zapier/
connectors
zapier/connectorsConnectors
Connect your agent to the apps you already use - with or without Zapier.
164
HeshamFS/
materials-simulation-skills
Agent Skills for computational materials science -- numerical stability, solvers, meshing, convergence, and simulation workflows.
66
ayghri/
i-have-adhd
ayghri/i-have-adhdSkills
A skill to stop your coding agent from burying the answer. ADHD-friendly output.
38k
Leeroo-AI/supermlPlugins
An ML engineering plugin for your coding agents.
195
ivelin-web/
tempo-mcp-server
ivelin-web/tempo-mcp-serverConnectors
MCP server for managing Tempo worklogs in Jira
45
AgriciDaniel/
meowmeow
AgriciDaniel/meowmeowSkills
a philosophy for talking to AI agents without getting glazed. one trigger, four meanings. /meow.
35
herdrdev/
herdr
herdrdev/herdrTools
the runtime your coding agents live on
37k
can1357/oh-my-piTools
⌥ Coding agent with the IDE wired in
31k
Ar9av/obsidian-wikiSkills
Framework for AI agents to build and maintain a digital brain through Obsidian wiki
3.4k
webcoyote/sandvaultTools
Run AI agents isolated in a macOS user account and sandbox-exec. Configured to run Claude Code, OpenAI Codex, Cursor Agent, Google Gemini.
408
icoretech/airbrokeConnectors
🔥 Lightweight, Airbrake/Sentry-compatible, PostgreSQL-based Open Source Error Catcher
222
safedep/
gryph
safedep/gryphHooks
Security layer for AI coding agents. Works with Claude Code, Cursor, Windsurf, Gemini CLI, OpenCode, Pi Agent and more.
161
kuberstar/
qartez-mcp
kuberstar/qartez-mcpConnectors
Semantic code intelligence MCP server for Claude Code - project maps, symbol search, impact analysis, and more
73
ctxray/
ctxray
ctxray/ctxrayTools
See how you really use AI — X-ray your AI coding sessions locally
46
amaar-mc/witTools
Agent coordination protocol — declare intents, lock symbols, detect conflicts before code is written
46
anysearch-ai/
anysearch-mcp-server
anysearch-ai/anysearch-mcp-serverConnectors
Unified real-time search MCP server supporting general web search, vertical domain search, parallel batch search, and full-page URL content extraction.
1.8k
Universal skill installer and package manager for AI coding agents. One command, 12+ runtimes. npx ai-agent-skills
1.1k
davekilleen/
Dex
davekilleen/DexHarnesses
Your AI Chief of Staff — a personal operating system starter kit that adapts to your role. No coding required.
476