agentic-docs | formal-verify | ClaudePluginHub