Skip to main content
Glama

logisim_check

Checks Logisim circuits for wiring faults like floating nets, shorts, and bit mismatches, then simulates to find conflicts and undefined outputs.

Instructions

Find wiring mistakes in a circuit: unconnected inputs, floating nets, several outputs on one net (often an accidental short), wires passing straight through a port or drawn on top of each other (Logisim connects those), loose wire ends, bit width mismatches, lonely tunnels, overlapping parts; then simulate it (all input combinations when small) to find conflicts (E), undefined outputs (x) and oscillation.

Input Schema

TableJSON Schema
NameRequiredDescriptionDefault
pathYesPath to the .circ file (absolute, or relative to the working folder)
circuitNoCircuit inside the file (default: the main circuit)
simulateNoAlso run the simulation checks (default true)

Schema Changelog

Changes observed during successful MCP inspections.

  1. First observedv2.0.0

TDQS

A3.7/5.0
Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

With no annotations, the description carries the full burden and does substantial work: it lists the static checks performed, discloses that it also simulates 'all input combinations when small', and names the failure signatures it looks for (E conflicts, x outputs, oscillation). It omits whether the file is modified and what the reported result looks like.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

A single dense sentence, but the core purpose is front-loaded and every listed check earns its place by telling the agent what defects to expect. The semicolon-heavy run-on structure is less scannable than a bulleted list would be.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness4/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

No output schema or annotations exist, so the description must stand alone, and it adequately covers what the tool examines and that a simulation pass may occur. It leaves the return format and read-only status unspecified, which is a modest gap for a diagnostic tool.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema description coverage is 100%, so all three parameters are already documented in the schema. The description only implicitly touches the simulate parameter ('then simulate it') without adding format or default semantics, so baseline 3 applies.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose4/5

Does the description clearly state what the tool does and how it differs from similar tools?

States a specific verb and resource ('Find wiring mistakes in a circuit') and enumerates the concrete defect classes it detects, so the agent knows exactly what the tool does. It does not, however, differentiate itself from overlapping siblings like logisim_verify or logisim_simulate, even though it duplicates simulation behavior.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines3/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

Usage is only implied: an agent can infer this is the tool for diagnosing a circuit file, but the description never says when to prefer it over logisim_verify, logisim_simulate, or logisim_inspect. No prerequisites, exclusions, or alternatives are stated.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.