veritas-logic

v0.9.0-rc.13

Motor de lógica booleana do Veritas: tabelas verdade exatas, simplificação mínima, mapas de Karnaugh, formas normais SOP/POS, simulação de circuitos com clock e flip-flops, e consulta a uma biblioteca de 1121 chips do Digital Logic Sim.

Claude Code1 Skill1 MCP serverstdio

By Lucas Belucci Bellini0 GitHub starsUpdated 3 hours ago

Directory evidence

Runtimes: Claude Code
Parsed components: 2 skill or MCP entries
Source updated: Aug 26, 2026
Manifest status: Canonical path parsed

The directory validates manifest shape and source location. It does not execute the plugin or provide a security endorsement. Review the indexing methodology →

Install plugin

Installs for the current user

claude plugin marketplace add IchenDEV/agent-plugin-mkt
claude plugin marketplace update agent-plugin-marketplace
claude plugin install veritas-logic@agent-plugin-marketplace

Paste and run these commands in a terminal with Claude Code. They add and refresh the PluginsMP catalog, then install this plugin.

The installer fetches third-party code from the source repository shown on this page. This directory validates manifest structure and source location, but does not perform a security audit; review the manifest, components, and source before installing.

Get the source manually

$ git clone https://github.com/Lucas-Belucci-Bellini/Veritas

Clone the source repository, then follow its setup instructions to add the plugin to a compatible client. The plugin root is plugins/veritas-logic/.

Plugin files

plugins/veritas-logic/

├── .claude-plugin/plugin.json
├── skills/veritas/SKILL.md
└── .mcp.json

Included Skills1

veritasskills/veritas/SKILL.md

Lógica booleana e circuitos digitais com resultados exatos — tabelas verdade, simplificação mínima, mapas de Karnaugh, formas normais SOP/POS, simulação de circuitos com clock e flip-flops, e uma biblioteca de 1121 chips. Use sempre que aparecer expressão booleana, álgebra de Boole, tabela verdade, De Morgan, mintermo, maxtermo, soma de produtos, produto de somas, mapa de Karnaugh, porta lógica, circuito digital, flip-flop ou somador.

MCP servers1

veritasstdio

command: node
args: ${CLAUDE_PLUGIN_ROOT}/server.mjs

MCP configuration uses runtime-provided plugin path placeholders such as ${PLUGIN_ROOT} or ${CLAUDE_PLUGIN_ROOT}. Review the manifest for the runtime-specific expansion rules.

Plugin manifests1

plugins/veritas-logic/.claude-plugin/plugin.json

{
  "name": "veritas-logic",
  "displayName": "Veritas — lógica booleana",
  "version": "0.9.0-rc.13",
  "description": "Motor de lógica booleana do Veritas: tabelas verdade exatas, simplificação mínima, mapas de Karnaugh, formas normais SOP/POS, simulação de circuitos com clock e flip-flops, e consulta a uma biblioteca de 1121 chips do Digital Logic Sim.",
  "author": {
    "name": "Lucas Belucci Bellini",
    "url": "https://github.com/Lucas-Belucci-Bellini"
  },
  "homepage": "https://github.com/Lucas-Belucci-Bellini/Veritas",
  "repository": "https://github.com/Lucas-Belucci-Bellini/Veritas",
  "keywords": [
    "logica",
    "booleana",
    "tabela-verdade",
    "karnaugh",
    "circuitos"
  ],
  "mcpServers": "./.mcp.json"
}

For maintainers

If you maintain this plugin, link to this source-backed listing from your README so users can review its manifest and indexed components.

[veritas-logic on Agent Plugins Marketplace](https://pluginsmp.com/plugins/veritas-logic)