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

Connectez Boolean Truth Table Generator à ChatGPT et Claude

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. Analysez la logique de vos expressions en un instant.

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 · 3 capacités

Nous ne livrons que les actions qui comptent.

Ensemble de capacités01 / 01

01-03

3 capacités dans cet ensemble.

Sur 3 disponibles via Boolean Logic Engine.

  1. 01

    Générer une table de vérité

    Produit une table de vérité complète couvrant toutes les combinaisons possibles des variables d'entrée.

  2. 02

    Analyser l'expression

    Vérifie la structure syntaxique et compte le nombre de variables présentes dans une chaîne logique.

  3. 03

    Résumer l'expression

    Identifie si une formule logique est une tautologie, une contradiction ou une proposition contingente.

Travail réel

Ce que les équipes font tourner

01

Code Logic Debugging

You give your agent a complex if-else condition to ensure no logical paths are missed.

02

Circuit Design Verification

Your agent checks the truth tables of boolean expressions used in digital logic design.

03

Mathematical Proofs

You use the capability to verify if a logical statement is a tautology.

04

Formal Logic Homework

Students use the agent to generate tables for multi-variable expressions.

Un connector, toutes les IAs

Boolean Logic Engine 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 Boolean Logic Engine 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 838 ms. Rapide en production.

Boolean Logic Engine est vérifié quotidiennement contre le service en production.

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

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à. 3 capacités arrivent prêtes à 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 Boolean Logic Engine, pour que vous voyiez l’expérience dans votre IA.

Il n’authentifie pas votre compte auprès de Boolean Logic Engine. 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.

Boolean Logic Engine Connector

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

Lien du connecteurhttps://edge.vinkius.com/vk_preview_JvIuvcEePpYLzyc6VCkiPc5jfWhKyMSVkK6IS16K/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 — Boolean Logic Engine capabilities are ready to use.
Configuration · claude_desktop_config.jsonCopier
{
  "mcpServers": {
    "boolean-truth-table-generator-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_JvIuvcEePpYLzyc6VCkiPc5jfWhKyMSVkK6IS16K/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 Boolean Logic Engine 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 Boolean Logic Engine délèguent.

This MCP is for technical professionals who need to verify logical structures without manual computation.

  • 01

    Software Engineers

    They hand off complex conditional logic to the agent to check for edge cases.

  • 02

    Computer Science Students

    They use the agent to verify homework problems and truth table assignments.

  • 03

    Logic Researchers

    They use the capability to quickly classify the properties of formal expressions.

FAQ

Les questions des utilisateurs de Boolean Logic Engine.

  • 01

    What can this MCP do with boolean expressions?

    It can parse the structure, generate full truth tables, and identify if an expression is a tautology, contradiction, or contingent.

  • 02

    Which AI clients can use this MCP?

    You can use this with any MCP-compatible client including Claude, Cursor, Windsurf, and VS Code.

  • 03

    Do I need to host the MCP myself?

    No, Vinkius hosts and manages the MCP for you. You just connect your client and start using the capabilities.

  • 04

    Can it handle multiple variables?

    Yes, the generate_truth_table capability produces a complete table for all input combinations regardless of variable count.

  • 05

    How do I know if my expression is a tautology?

    You can use the summarize_expression capability to have your agent check the logical properties of your formula.

  • 06

    What can I do with this MCP?

    You can use generate_truth_table to see every possible outcome for a boolean expression or summarize_expression to find its logical properties.

  • 07

    How do I define variables?

    Variables are identified as unique alphanumeric characters within your expression string.

  • 08

    Is there a limit to the expression complexity?

    The generate_truth_table capability has built-in limits to prevent excessive computation for expressions with a very high number of variables.

Explorer

Plus dans Developer Tools

Suggestions

Connectez Boolean Logic Engine à Claude, Cursor, ChatGPT et d'autres