Reddit

LCBro is a powerful MCP server for browser automation with support for both Playwright and Chrome DevTools Protocol (CDP). It provides intelligent preprocessing, comprehensive logging, and remote browser management capabilities. Features: - Auto-generates preprocessing prompts - Local LLM integration (Ollama, JAN) - Smart content analysis and optimization - Cost-efficient data preparation

Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking, inductive type definition, and property proving for formal verification and theorem proving tasks.

Access location data, geocoding, and place details through Maps API.

Integrates with Anki to enable AI-driven flashcard creation, retrieval, and review processes for enhanced spaced repetition learning.

Welcome to the Salesforce Model Context Protocol server! This MCP allows you to interact with your Salesforce data and metadata using natural language. Whether you're a business user, developer, or administrator, you can now chat with your Salesforce org to: Get insights, Manage data, Configure the platform, create objects, fields, flows.. delete them, automate tasks and many more.

Integrates ClickUp task management with AI systems to enable automated task creation, updates, and retrieval for enhanced project workflow efficiency.