Check up to 20 candidate terms against a proof hole's type in context to see which typecheck, without solving it. Returns the first success and errors for others.
Apache 2.0
758,711 tools. Updated 2026-11-08 02:40
"Python context management and dependency solving in ComfyUI" matching MCP tools:
- Generate executable Python code for Tidy3D FDTD and mode-solving simulations from a natural language problem description. Fixes failed code when given the previous code and error.MIT
- Install ComfyUI locally in a clean target directory, cloning the repo, creating a dedicated virtualenv, and installing dependencies via pip or uv. Supports version selection and optional ComfyUI-Manager.MITDestructive
- Execute scripts within skill directories with automatic dependency management, environment variable injection, and secure execution boundaries.MIT
- Validate Python script metadata and dependencies without execution. Checks PEP 723 syntax, dependency format, and requires-python compatibility.MIT
- Reports the running ksj-mcp version and key dependency versions (mcp, pydantic, python) to confirm an install or upgrade took effect.MIT
Matching MCP Servers
- AlicenseNot gradedqualityDmaintenanceConverts ComfyUI workflows into MCP tools for AI agents to generate images, videos, and other multimedia content.6MIT
- AlicenseBqualityFmaintenanceProvides up-to-date Python package manager commands by cross-referencing official pip, poetry, uv, and conda documentation with automatic weekly updates.140MIT
Matching MCP Connectors
Words-in-context vocabulary practice questions with distractor explanations.
Sonatype component intelligence: versions, security analysis, and Trust Score recommendations
- Retrieve ComfyUI system information including GPU details, VRAM usage, Python version, and operating system. Useful for diagnosing hardware and software configuration.MIT
- Restart ComfyUI using saved process info from a prior stop. Works for Desktop app and manual Python installs, with up to 60 seconds wait for API readiness.MIT
- Run complex ComfyUI workflows as Python scripts, simplifying multi-stage graph authoring that JSON cannot easily express.MIT
- Run Python code with automatic dependency resolution. Scripts can declare dependencies via inline metadata or parameters, executed in an isolated sandbox to avoid system pollution.MIT
- Generates creative ideas and multi-perspective analysis on any topic, using project file context for relevant suggestions in design, content, problem-solving, and planning.MIT
- Analyze a remote directory to identify technical environments and read dependency manifests, giving architectural context of a codebase.MIT
- Store a verified change receipt and compute the transitive chain of Python import consumers up to max_distance, showing dependency impact. Report non-Python changes as uncovered for registered analyzers.AGPL 3.0
- Detect upward dependency violations in Python codebases by analyzing layer imports. Returns categorized file counts and dependency edges.MIT
- View running and pending jobs in the ComfyUI execution queue to monitor workflow processing status and manage job priorities.MIT
- Scan Python files in a directory to generate an import dependency graph, providing a structured map and Mermaid diagram for visualization.MIT
- Installs one or more ComfyUI custom node packs through ComfyUI-Manager cm-cli, enabling workflow features that require extra nodes. Restart ComfyUI afterward to load them.MIT
- Retrieve and view all saved workflows in your ComfyUI library, enabling easy selection and management.MIT
- Takes a Python file and specified function/class names, returns their full source code along with compressed dependency context.MIT
- Execute Python code in a persistent MiniZinc solving kernel to keep variables and imports across calls; set timeout up to 300s for long solver runs.MIT
- Run multiple tool operations in batch with sequential or parallel execution, dependency management, and actions to execute, preview, cancel, or check status.MIT