MCP-Server
Verificate MCP
ai.verificate/mcp
Was dieses MCP kann
Generates, reviews, and gates AI-written code, documents, plans, and deployable artifacts using production-readiness and reliability checks.
Funktionen
Tools
5
Tools
analyze_code
Advisory code deep-dive
Advisory deep-dive on existing code — scores and findings, deliberately NO pass/fail verdict, so it never blocks an agent. Surfaces performance hot paths, scalability cliffs, reliability gaps and tech debt with concrete latency/throughput arithmetic (e.g. 'O(n²) dedup: ~4s at 10k items'). Read-only: the code is analyzed, never executed. Use it to understand a validate_ai_output rejection or review inherited code; use validate_ai_output when you need an accept/reject decision.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'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."}}}
Ausgabeschema
{'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}
generate_code
Generate gated code
Generate code and gate it in one step: an LLM writes the implementation, then the same protection engine as validate_ai_output vets it — retrying generation when the gate rejects. If every attempt is vetoed you still receive the last attempt, clearly marked validated:false with the gate findings — rejected code is never presented as clean. Generation runs on our infrastructure; nothing executes in your environment.
Nur Lesen
Externer Zugriff
Eingabeschema
{'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.'}}}
Ausgabeschema
{'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}
validate_ai_output
Gate AI-written output (code or documents)
The merge gate for ANY AI-written output — code, documentation, reports, emails, configs: returns a binary approve/reject verdict with veto power — e.g. it rejects code calling the nonexistent stripe.Inventory API, an N+1 loop with the latency arithmetic to prove it, or a doc claiming success with no evidence. Deterministic reality gates (mock/placeholder veto, gaming and bypass detection, invented-API checks) run first and cannot be overridden; a frontier-model review (ISO/IEC 25010) then scores quality, accuracy, reliability and tech debt. In a benchmark, a frontier model reviewing alone caught reward-gaming and hallucinated APIs 0/6 times in a natural review workflow; these gates catch them deterministically on every call. Read-only: nothing is executed. Call it on every AI-generated deliverable before accepting it; use validate_plan for plans, analyze_code for an advisory report without a verdict.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'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."}}}
Ausgabeschema
{'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}
validate_artifact
Gate a deployable artifact against the Verificate production doctrine
Deterministic production-readiness gate for AI-built systems. Verifies the invariants that stop a system silently shipping broken: every critical component is PRESENT and LOADS, the import closure resolves (nothing assumed 'already on the box'), all runtime dependencies are declared, and health is a REAL fail-closed check. Returns approve/reject with a fix plan and ISO 27001 / ISO 5055 control evidence. Facts are gathered by the Verificate collector in your CI; the gate is the authority. Non-bypassable, fails closed. This is the control-plane sibling of validate_ai_output — code quality is one invariant; this gates the whole deployable.
Nur Lesen
Idempotent
Eingabeschema
{'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}.'}}}
validate_plan
Gate an implementation plan
The gate for PLANS, designs and specs — run BEFORE any code is written, the cheapest place to catch a bad design. Returns the same binary verdict shape as validate_ai_output, with findings on completeness, feasibility, performance and scalability implications, security risks and missing considerations (e.g. it rejects a plan that polls an API every 100ms per client, with the request-volume math). Read-only: nothing is executed or stored beyond the verdict. Use validate_ai_output for the code that follows.
Nur Lesen
Externer Zugriff
Idempotent
Eingabeschema
{'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"}.'}}}
Ausgabeschema
{'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}
Verlauf
Letzte Tool-Änderungen
Geändert
validate_artifact
23. September 2026 02:51
Geändert
validate_ai_output
21. September 2026 02:58
Hinzugefügt
generate_code
17. September 2026 07:57
Hinzugefügt
analyze_code
17. September 2026 07:57
Hinzugefügt
validate_plan
17. September 2026 07:57
Hinzugefügt
validate_ai_output
17. September 2026 07:57
Hinzugefügt
validate_artifact
17. September 2026 07:57
Entdecken
Ähnliche MCP-Server
TinyFn
io.tinyfn/tinyfn
Offers deterministic utility functions for mathematics, conversions, validation, hashing, encoding, arrays, dates, colors, and pa…
hyperion
com.thetempleofdoom.hyperion/hyperion
Acts as a paid MCP tool marketplace and utility gateway with server discovery, HTTP and JavaScript tools, research, data conversi…
Andreax
io.github.moralito311-andr/andreax
Offers pay-per-call AI services for inference, agent and workflow design, OCR and transcription, code generation and review, clas…
Vee3
io.github.Vee3io/vee3
Manages Clerk authentication infrastructure, including users, organizations, domains, sessions, tokens, OAuth, SSO, machines, per…
Courier
io.github.trycourier/courier
Provides notification delivery infrastructure for users, tenants, lists, templates, preferences, journeys, automations, brands, a…
GripForge
io.github.gripforgeai/mcp
Generates, rigs, animates, analyzes, and packages game characters, weapons, armor, effects, environments, and engine-ready assets.
IA-QA — 130+ QA & Dev Tools for AI Agents
io.github.JcJamet/ia-qa-toolbox
Provides deterministic QA, evaluation, testing, code analysis, prompt and RAG checks, model comparison, and web security diagnost…
apis-io
io.apis/apis-io
Provides catalog search, comparison, scoring, enrichment, lists, and dataset exports for APIs, providers, specifications, workflo…