Loading ToolBench
ATLAS - Verificador de afirmaciones basado en falsabilidad popperiana con persistencia. A claim verification server that documents demonstrably false statements or those lacking evidence, with verifiable academic sources.
ATLAS has well-structured Pydantic input models with proper type hints and descriptions, and tool annotations are present. However, output schemas are entirely undocumented, tools return plain strings with no structured format guidance. Descriptions are verbose (200+ chars) and instruction-heavy rather than concise and LLM-optimized. Parameter naming is inconsistent: 'claim' vs 'topic' for similar search operations. Error handling is absent, no guidance on recovery, retryability, or actionable next steps. The server lacks pagination support despite tools returning potentially large result sets (limit up to 50). Tool composition is reasonable but could be tighter.
LLAMA SIEMPRE A ESTA HERRAMIENTA PRIMERO cuando el usuario presenta una afirmación para verificar. Busca en la base de datos de ATLAS si esta afirmación o alguna similar ya fue verificada anteriormente. Si encuentra verificaciones previas, devuelve los resultados con sus veredictos y evidencia. Si no encuentra nada, indica que es una verificación nueva y se debe proceder con la investigación completa.
Recupera una verificación completa específica por su ID. Devuelve todos los detalles: afirmación original, sub-afirmaciones, análisis de fuente, referencias académicas, evidencia contradictoria, hipótesis alternativas y veredicto con explicación.
Busca verificaciones previas relacionadas con un tema específico. Útil para encontrar análisis similares que puedan informar la verificación actual.
Consulta el historial de credibilidad de una fuente específica. Devuelve todas las verificaciones asociadas a esa fuente, su distribución de veredictos y análisis de patrones de confiabilidad.
Devuelve estadísticas generales de ATLAS: número total de verificaciones, distribución por veredicto, categorías más verificadas, fuentes más analizadas y verificaciones recientes.
Output schemas completely undocumented. All tools return plain strings with no structured format guidance. LLMs cannot parse results or chain downstream calls reliably.
No error handling or recovery guidance. Tools return plain strings with no indication of failure modes, retryability, or actionable next steps for the LLM.
Descriptions are verbose (200+ chars) and instruction-heavy ('LLAMA SIEMPRE A ESTA HERRAMIENTA PRIMERO') rather than concise and LLM-optimized (target 50-200 chars). Wastes tokens and buries key intent.
| Scored | Grade | Overall | Spec posture | Rubric |
|---|---|---|---|---|
| 2026-09-23 | D | 51 | 2026-07-28+ | v2 |
Almacena una verificación COMPLETA de una afirmación con toda la evidencia, análisis de fuente, referencias académicas, evidencia contradictoria, hipótesis alternativas y veredicto proporcional a la evidencia encontrada.
Parameter naming inconsistency: 'claim' in atlas_check_claim vs 'topic' in atlas_similar_verifications for semantically similar search operations. LLMs may conflate or misselect tools.
No pagination metadata returned. Tools accept 'limit' but do not return total_count, next_cursor, or has_more. Large result sets risk context window exhaustion.