api-designer | formal-specification | ClaudePluginHub