Read-only MCP server for Rationale evidence orchestration and proof generation
Four tools with minimal documentation. All have descriptions (10-60 chars, below the 194-char baseline), but lack parameter descriptions entirely. Input schemas present but sparse: explain_rationale has one string param with description; others have minimal or empty schemas. No output schemas documented. No error handling guidance. Tool names follow verb_noun pattern but descriptions are too terse to guide LLM selection. No evidence of idempotency, pagination, or composition patterns.
Explain the recorded rationale for a target
Inspect known rationale gaps in changed working-copy paths
Show one normalized current evidence record
Search for candidate evidence records
Parameter descriptions missing. All four tools lack descriptions for input parameters. LLMs cannot infer what 'target', 'record_id', 'query' mean without explicit guidance.
Tool descriptions too brief (<60 chars). Descriptions lack context on WHEN to use each tool, what it returns, and how it differs from similar tools. Below 194-char baseline.
No output schemas documented. LLMs cannot plan downstream calls or extract required fields without knowing response structure.
| Scored | Grade | Overall | Spec posture | Rubric |
|---|---|---|---|---|
| 2026-09-23 | F | 48 | 2026-07-28+ | v2 |
find_rationale_gaps has empty input schema (no properties). Unclear what this tool does or how to invoke it.
No error handling guidance. Tools do not indicate what errors are retryable, user-fixable, or fatal, or how to recover.