RoCQ

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.

Report

Similar MCPs

View All

Integrates with Typesense search engine instances to enable efficient searching and listing of collections as resources, supporting both local and remote connections.

Extracts data from TypeScript/JavaScript code into JSON configuration files, facilitating code refactoring and improved maintainability.

Enables direct execution of shell commands from chat interfaces, creating a bridge between natural language prompts and local system operations for quick developer workflows.

With API Gateway, you can instantly link any REST API (using OpenAPI/Swagger) to your AI assistant. No more manual calls, no Postman, no extra coding — just speak or type, and let the AI handle real API requests for you. ✅ Plug & Play with Claude Desktop or Cursor ✅ Supports multiple APIs and custom headers ✅ Runs easily with Docker in seconds Turn your AI into a true backend assistant.

Manage pods, deployments, and services

Enables creation and manipulation of PowerPoint presentations with customizable layouts, themes, and formatting options, saving files to an accessible user directory without requiring manual PowerPoint interaction.

  • tmp_val__name__