Explorar Recursos MCP com 'ferramenta'

Orientar os usuários na resolução de problemas, recomendando ferramentas em cada etapa com base no pensamento sequencial.

Converte especificações OpenAPI em ferramentas MCP para interações sem costura com APIs de assistentes de IA.

Um servidor que integra Prover9/Mace4 para prova teórica automatizada e raciocínio lógico em sistemas de IA.

Uma ferramenta que extrai dados incorporados do código-fonte TypeScript/JavaScript em arquivos JSON estruturados.