An astronaut overseeing a futuristic data hub
Télécharger le PDFVersion Markdown

Connectez Spec Prover à ChatGPT, Claude et Gemini

Configurez-le une fois et il fonctionne avec ChatGPT, Claude, Cursor et n'importe quel autre client que vous aimez. Tout s'exécute en toute sécurité en arrière-plan, pour que vous puissiez vous détendre et vous concentrer sur l'essentiel. Évitez les bugs de logique avant même l'écriture du code.

Demandez à l'IA à propos de ce Connector

Développé, maintenu et hébergé par Vinkius.

MCP VÉRIFIÉ · PRÊT POUR LA PRODUCTION · GARANTIE VINKIUS

Waiting for input…

Works with modern AI clients that support MCP, including ChatGPT, Claude, Cursor, and more.

ChatGPTClaudeCursorPerplexityGeminiMicrosoft CopilotRaycastMeta AI

Votre IA fait le travail. Nous veillons dessus, en toute sécurité.

Aucun autre outil d'IA ne vous offre ça. Votre workflow s'exécute dans le client que vous aimez déjà, votre compte reste protégé, et vous décidez ce que l'agent peut ou ne peut pas faire. C'est la vraie raison de faire le pas.

Chaque Connector vit dans notre infrastructure, là où votre workflow s'exécute. Les trois choses ci-dessous en font déjà partie et travaillent discrètement en arrière-plan pour que vous n'ayez jamais à y penser. Rien à ajouter, rien à configurer, aucune inquiétude à avoir.

A futuristic MCP client docking bay
V8 Isolate01

Chaque Connector s'exécute dans son propre environnement scellé.

Chaque Connector s'exécute dans son propre runtime V8 scellé, sans accès à vos fichiers, à votre système ni aux autres serveurs. Un Connector ne voit jamais au-delà de sa propre requête.

Kill Switch02

Un seul interrupteur arrête tous les agents. Immédiatement.

Une seule action désactive tous les Connectors, révoque tous les tokens et termine toutes les sessions d'un coup. La Gouvernance de l'IA conserve le registre.

FinOps par utilisateur03

Des limites de dépense qui s'interrompent au lieu de surprendre.

Chaque utilisateur garde ses propres connexions et identifiants, isolés de ceux des autres. Ce qui dépasserait votre limite de dépense est stoppé et mis en attente de votre approbation, pas facturé.

Trois contrôles, intégrés à la couche par laquelle votre IA se connecte.

Sélection · 1 capacité

Nous ne livrons que les actions qui comptent.

Ensemble de capacités01 / 01

01

1 capacité dans cet ensemble.

Sur 1 disponible via Spec Prover.

  1. 01

    Prouver une fonction de spécification

    Exécute une preuve mathématique complète en traçant chaque étape avec des entrées concrètes et en vérifiant les cas limites et les constantes.

Travail réel

Ce que les équipes font tourner

01

Time and Scheduling Logic

Verify that time-based calculations correctly handle midnight wrap-around and negative offsets.

02

Financial Formula Verification

Ensure discount or tax formulas account for floating-point precision loss during rounding.

03

Physics Engine Specs

Validate that gravity or drag constants are correctly integrated into movement formulas.

04

Data Aggregation Rules

Confirm that average or sum calculations explicitly handle empty input arrays to avoid NaN errors.

Automatisez une tâche

Mettez Spec Prover au travail sur une chose.

Des automatisations étape par étape que votre IA exécute via ce Connector : le flux, les prompts pour démarrer et les capabilities exactes derrière chaque étape.

Un connector, toutes les IAs

Spec Prover fonctionne avec les clients IA les plus populaires.

Voici les clients les plus populaires, chacun avec un guide pas à pas : un lien, configuré une fois, avec gouvernance et visibilité intégrées. Et comme tout tourne sur le standard MCP, la même connexion fonctionne aussi dans tout autre client compatible : rien à reconstruire.

ClaudeClaudeChatGPTChatGPTGeminiGeminiPerplexityPerplexityGrokGrokMicrosoft CopilotMicrosoft CopilotCursorCursorVS CodeVS CodeWindsurfWindsurfJetBrainsJetBrainsClineClineLangChainLangChainVercel AI SDKVercel AI SDKLovableLovableZ.aiZ.aiRaycastRaycastQwen CodeQwen CodeKimi CodeKimi CodeLe ChatLe Chat

Vous construisez votre propre app ? Le connector est à vous.

Vous n'avez pas besoin d'un client pour mettre Spec Prover au travail : la même connexion hébergée se branche sur vos propres applications et le code de votre agent, avec la même gouvernance à chaque requête. Construisez avec lui, discutez avec lui : une connexion pour les deux.

Observée, pas estimée

Moyenne de 922 ms. Rapide en production.

Spec Prover est vérifié quotidiennement contre le service en production.

Moyenne quotidiennePic à 1125 ms
3 oct.Aujourd'hui
Jour le plus rapide
758ms
Jour le plus lent
1125ms
Tendance sur 14 jours
En amélioration-7%

Connectez votre client

Une URL. Tous les clients.

Activez le Connector, copiez votre lien et collez-le dans le client que vous utilisez déjà. 1 capacité arrive prête à l'emploi.

Accès aperçu · pas d’authentification du fournisseur

Le jeton vk_preview_* appartient à l’infrastructure d’aperçu de Vinkius. Il permet à Claude de découvrir et d’afficher les capacités de Spec Prover, pour que vous voyiez l’expérience dans votre IA.

Il n’authentifie pas votre compte auprès de Spec Prover. Les actions nécessitant des identifiants ou des données de compte réelles peuvent ne pas s’exécuter tant que vous n’avez pas activé le Connector et autorisé le service.

Spec Prover Connector

Tout est prêt. Choisissez votre client MCP et suivez les instructions de configuration.

Lien du connecteurhttps://edge.vinkius.com/vk_preview_NbIciblMWXQuIBLxYENirh67y4h51MySXcQihZn2/mcp

Claude Desktop

Suivez les étapes ci-dessous pour vous connecter en quelques secondes.

  1. 1In Claude Desktop, open Settings → Connectors.
  2. 2Click “Add custom connector” and paste the connector link above as the remote MCP server URL.
  3. 3Click Add and start a new chat — Spec Prover capabilities are ready to use.
Configuration · claude_desktop_config.jsonCopier
{
  "mcpServers": {
    "spec-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_NbIciblMWXQuIBLxYENirh67y4h51MySXcQihZn2/mcp"
    }
  }
}
  • Claude
  • ChatGPT
  • Cursor
  • VS Code
  • Windsurf
  • Claude Code
  • JetBrains
  • Cline

Les instructions pas à pas pour chaque client sont dans le guide. Comment connecter

Configuration guidée pour Claude ? Configurer Spec Prover avec Claude et les autres IA

Voyez tous les clients IA avec lesquels ce connector fonctionne ↑

Pour qui

Conçu pour le travail que les utilisateurs de Spec Prover délèguent.

This MCP is built for teams using multi-agent pipelines where AI agents define the logic that humans and other agents later implement.

  • 01

    AI Product Manager

    Uses the MCP to verify that the specifications they generate are mathematically sound.

  • 02

    System Architect

    Uses the capability to ensure complex engine formulas handle edge cases before implementation begins.

  • 03

    QA Engineer

    Uses the traces to identify the exact boundary conditions that need to be tested in the codebase.

FAQ

Les questions des utilisateurs de Spec Prover.

  • 01

    How does Spec Prover catch bugs that manual review misses?

    It forces the agent to perform a concrete trace with real numbers. While a human or agent might look at a formula and think it looks correct, the trace reveals errors like negative results or unhandled boundaries.

  • 02

    What happens if the agent's math is wrong?

    The MCP will reject the call. If the agent's final output does not match the step-by-step arithmetic trace, the capability identifies the discrepancy and requires a correction.

  • 03

    Can I use this with any AI client?

    Yes, you can use this with any MCP-compatible client like Claude, Cursor, or Windsurf once connected through Vinkius.

  • 04

    What is an orphan constant?

    An orphan constant is a value declared in the specification that is never actually used in any formula. The capability flags these to prevent confusing developers with unnecessary data.

  • 05

    Does this capability prevent division by zero errors?

    Yes. It requires the agent to choose an edge case, such as a zero divisor, and verify that the specification explicitly defines how to handle that condition.

  • 06

    Does Spec Prover compute or verify the arithmetic itself?

    No. Spec Prover performs zero computation. It forces the AI agent to structure its own reasoning into traceable steps, then validates that the reasoning is logically consistent. If the agent says the output matches the trace but also says the spec is wrong, the capability rejects the contradiction. The agent does all the math. the capability enforces honesty.

  • 07

    What happens when the capability rejects my proof?

    The capability returns a detailed consistency error explaining exactly which Decision Pivot contradicts your verdict. For example, if you mark outputMatchesTrace: true but choose SPEC_WRONG, the rejection will explain that if the output matches your trace, the formula cannot be wrong. re-examine your trace arithmetic. Fix the contradiction and call the capability again with isRevision: true.

  • 08

    What kind of edge cases should I trace?

    The capability requires edge case inputs that differ from your normal inputs. Focus on boundaries: zero values (0 cycles), negative results (subtraction below zero), maximum values (24 hours, 1440 minutes), wrap-around conditions (midnight crossover), and empty/null inputs. The capability rejects edge cases that are identical to normal inputs. a second normal case is not an edge case.

Explorer

Plus dans Productivity

Suggestions

Connectez Spec Prover à Claude, Cursor, ChatGPT et d'autres