Guides users through problem-solving by recommending tools at each step based on sequential thinking.

Converts OpenAPI specifications into MCP tools for seamless AI assistant API interactions.

A server integrating Prover9/Mace4 for automated theorem proving and logical reasoning in AI systems.

A tool that extracts embedded data from TypeScript/JavaScript source code into structured JSON files.