yogthos/
chiasmus
yogthos/chiasmusConnectors
Chiasmus is an MCP server that gives language models access to formal verification
211
mrexodia/ida-pro-mcpConnectors
AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.
12k
seuros/
action_mcp
seuros/action_mcpFrameworks & SDKs
Rails Engine with MCP compliant Spec.
120
masteranime/
n8n-claude-skills
Production Claude Code skills for n8n from a Verified Creator's 100+ workflows
32