A planning server that enables natural language to PDDL conversion, automatic problem generation, and batch task execution using the Fast Downward planner. It supports multi-robot coordination and provides detailed reporting and diagnostic capabilities for complex planning tasks.
drand-mcp-server is a service that provides verifiable random numbers for model-driven processes in AI applications, supporting the acquisition of random numbers by time or round.
Converts Markdown files into professional diagrams such as flowcharts, mind maps, and architecture diagrams using Mermaid.js and custom SVG renderers. It enables users to list, render, and export visualizations in multiple formats including SVG, PNG, and PDF.
