yogthos/
chiasmus
yogthos/chiasmusConnectors
Chiasmus is an MCP server that gives language models access to formal verification
211
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