Verificate MCP

{'type': 'object', 'required': ['code'], 'properties': {'code': {'type': 'string', 'description': 'The source code to analyze — a function, file or pasted excerpt.'}, 'language': {'type': 'string', 'description': "Source language, e.g. 'python', 'typescript', 'cpp', 'sql', 'swift'. Inferred if omitted; stating it sharpens findings."}, 'analysis_type': {'enum': ['quality', 'performance', 'scalability', 'security', 'tech_debt'], 'type': 'string', 'default': 'quality', 'description': "Lens for the review: 'quality' (default, broad ISO/IEC 25010 pass) or a focused pass on one dimension."}}}

{'type': 'object', 'required': ['quality_score', 'issues'], 'properties': {'issues': {'type': 'array', 'items': {'type': 'string'}, 'description': "Findings as 'severity|category|detail' with supporting arithmetic"}, 'provider': {'type': 'string'}, 'complexity': {'type': 'string', 'description': 'low | medium | high'}, 'suggestions': {'type': 'array', 'items': {'type': 'string'}}, 'quality_score': {'type': 'number', 'description': '0-100 advisory score for the chosen lens'}}, 'additionalProperties': True}

{'type': 'object', 'required': ['prompt'], 'properties': {'prompt': {'type': 'string', 'description': "What to build, with any constraints worth enforcing — e.g. 'a rate-limited retry decorator with exponential backoff, stdlib only'."}, 'language': {'type': 'string', 'default': 'python', 'description': "Target language for the generated code, e.g. 'python' (default), 'typescript', 'go', 'sql'."}, 'max_tokens': {'type': 'integer', 'default': 4000, 'maximum': 32768, 'minimum': 256, 'description': 'Generation budget. The default 4000 fits most functions/classes; raise it for multi-file scaffolds.'}}}

{'type': 'object', 'required': ['generated'], 'properties': {'code': {'type': 'string', 'description': 'The generated implementation'}, 'attempts': {'type': 'integer', 'description': 'Generation attempts before approval or give-up'}, 'provider': {'type': 'string'}, 'generated': {'type': 'boolean', 'description': 'False only when no provider returned code'}, 'validated': {'type': 'boolean', 'description': "True if the protection gates approved the final attempt; false means the gate findings in 'protection' explain the veto"}, 'protection': {'type': 'object', 'properties': {'vetoed': {'type': 'boolean', 'description': 'True if any veto gate failed the submission'}, 'verdict': {'type': 'string', 'description': "'approved' or 'rejected' from the gate layer"}, 'vetoed_by': {'type': 'array', 'items': {'type': 'string'}, 'description': "Names of the gates that vetoed, e.g. ['code_reality_gate']"}, 'protection_score': {'type': 'number', 'description': 'Deterministic gate score, 0-100'}}, 'description': 'Deterministic gate result. A veto here is final — the model review cannot override it.', 'additionalProperties': True}, 'validation_score': {'type': 'number', 'description': 'Deterministic gate score, 0-100'}}, 'additionalProperties': True}

{'type': 'object', 'required': ['ai_output'], 'properties': {'context': {'type': ['object', 'string'], 'description': 'Optional review context — an object like {"language": "cpp", "scale": "10k req/s"} (\'language\' sharpens SDK-reality checks) or a free-text sentence describing intent.'}, 'ai_output': {'type': 'string', 'description': 'The AI-generated output to gate — source code (a diff, function or whole file, any mainstream language) or prose (documentation, a report, an email, release notes). For reliable latency keep one submission under ~15,000 characters; split larger artifacts at natural boundaries (functions, SQL statements, sections) and validate the units separately. Reviews are wall-clock bounded: an over-budget model review returns an explicit timed-out result (deterministic gates still run) rather than hanging.'}, 'validation_type': {'type': 'string', 'default': 'code_generation', 'description': "What the output is: 'code_generation' (default) for source code; 'documentation', 'report', 'email', 'text', ... for prose (code-marker gates are skipped, integrity gates and the frontier review still run). Use 'report' (or 'status_report' / 'handover') for anything that CLAIMS work is done or passing: there, a completion claim with no evidence in the text is a veto. 'plan' for designs/specs."}}}

{'type': 'object', 'required': ['valid', 'score', 'issues'], 'properties': {'score': {'type': 'number', 'description': 'Combined score 0-100 (gates fused with the model review)'}, 'valid': {'type': 'boolean', 'description': 'The binary verdict: true = approved, false = rejected'}, 'issues': {'type': 'array', 'items': {'type': 'string'}, 'description': "Severity-ranked findings, each 'severity|category|detail' with the reasoning"}, 'provider': {'type': 'string', 'description': "Model that ran the deep review, or 'protection-gates-only'"}, 'confidence': {'type': 'number', 'description': 'score / 100'}, 'protection': {'type': 'object', 'properties': {'vetoed': {'type': 'boolean', 'description': 'True if any veto gate failed the submission'}, 'verdict': {'type': 'string', 'description': "'approved' or 'rejected' from the gate layer"}, 'vetoed_by': {'type': 'array', 'items': {'type': 'string'}, 'description': "Names of the gates that vetoed, e.g. ['code_reality_gate']"}, 'protection_score': {'type': 'number', 'description': 'Deterministic gate score, 0-100'}}, 'description': 'Deterministic gate result. A veto here is final — the model review cannot override it.', 'additionalProperties': True}, 'suggestions': {'type': 'array', 'items': {'type': 'string'}, 'description': 'Concrete fixes to reach approval'}}, 'additionalProperties': True}

{'type': 'object', 'required': ['artifact'], 'properties': {'artifact': {'type': 'object', 'description': 'Collected artifact facts: {critical_components:[{name,loads:bool}], import_closure_ok:bool, undeclared_deps:[str], health_truthful:bool}.'}}}

{'type': 'object', 'required': ['plan'], 'properties': {'plan': {'type': 'string', 'description': 'The implementation plan, design or spec to validate, as plain text or markdown — e.g. a numbered migration plan or an architecture sketch.'}, 'context': {'type': 'object', 'description': 'Optional constraints the review should weigh, e.g. {"system": "payments API", "scale": "1M users", "constraints": "PostgreSQL only"}.'}}}

{'type': 'object', 'required': ['valid', 'score', 'issues'], 'properties': {'score': {'type': 'number', 'description': 'Combined score 0-100 (gates fused with the model review)'}, 'valid': {'type': 'boolean', 'description': 'The binary verdict: true = approved, false = rejected'}, 'issues': {'type': 'array', 'items': {'type': 'string'}, 'description': "Severity-ranked findings, each 'severity|category|detail' with the reasoning"}, 'provider': {'type': 'string', 'description': "Model that ran the deep review, or 'protection-gates-only'"}, 'confidence': {'type': 'number', 'description': 'score / 100'}, 'protection': {'type': 'object', 'properties': {'vetoed': {'type': 'boolean', 'description': 'True if any veto gate failed the submission'}, 'verdict': {'type': 'string', 'description': "'approved' or 'rejected' from the gate layer"}, 'vetoed_by': {'type': 'array', 'items': {'type': 'string'}, 'description': "Names of the gates that vetoed, e.g. ['code_reality_gate']"}, 'protection_score': {'type': 'number', 'description': 'Deterministic gate score, 0-100'}}, 'description': 'Deterministic gate result. A veto here is final — the model review cannot override it.', 'additionalProperties': True}, 'suggestions': {'type': 'array', 'items': {'type': 'string'}, 'description': 'Concrete fixes to reach approval'}}, 'additionalProperties': True}