Generate a Symbols.app DOMQL component from a natural language description, using built-in syntax references and examples to ensure a compliant component.
Creative Commons Attribution Non Commercial 4.0 International
460,053 tools. Updated 2026-08-17 15:41
"Proof-of-Concept Examples for Multi-Component Processes (Model Context Protocol)" matching MCP tools:
- Explains Electron's multi-process architecture including main process, renderer processes, preload scripts, and contextBridge. Provides version-aware guidance for building features.MIT
- Generate proof obligations for a B component to verify its formal correctness. Optionally only generate new or changed proof obligations.AGPL 3.0
- Check proof status for a B project or one of its components, showing which proofs are discharged and which are still pending.AGPL 3.0
- Search MDK documentation using semantic queries, retrieve component schemas, property details, and examples.Apache 2.0
- Remove a component from a trust zone to clean up your architecture model. Use when a component is misplaced or obsolete, ensuring accurate threat modeling.Apache 2.0
Matching MCP Servers
- Alicense-qualityDmaintenanceMCP server enabling real-time weather queries via Tavily API and internet usage data by country via MongoDB.Apache 2.0
- Alicense-qualityDmaintenanceA basic Python implementation of a Model Context Protocol server for educational purposes, using FastAPI and WebSockets.283MIT
Matching MCP Connectors
Stamp content with permanent, verifiable provenance. Hash locally, verify free forever.
Evidence-gated task verification for AI agents. Decompose goals into acceptance criteria, attach proof (screenshot, curl, file), independent LLM judge accepts or rejects. 24 tools. Hosted remote MCP (streamable-http, OAuth 2.1 + DCR).
- Execute multiple SPICE simulations in parallel with component value sweeps, replacing manual loops for faster multi-run analysis.GPL 3.0
- Send multi-turn chat requests to an Ollama model for conversational interactions with history, such as follow-ups or multi-step reasoning. Preserves context across messages.MIT
- Retrieve full documentation for any Quasar UI component, including API reference, props, events, slots, methods, and usage examples. Accepts component names with or without prefix.MIT
- Search Mathlib theorems and definitions semantically by mathematical concept, proof state, or statement fragment to locate relevant Lean statements.MIT
- Retrieve detailed schema for video components including properties, variants, animations, and usage examples to understand component structure and implementation requirements.Apache 2.0
- Retrieve protocol versions, member organizations, SDKs, and current statistics of the AGNTCY multi-agent network ecosystem.MIT
- Retrieve all component names from a COMSOL model by specifying the model name. Use this to inspect or manage model components programmatically.MIT
- Adds a geometry sequence to a COMSOL model component for 2D or 3D modeling.MIT
- Retrieve complete daisyUI React component documentation by name, including all props, types, defaults, and usage examples. Look up any component to get the details needed for implementation.MIT
- List all component names in a COMSOL model. Specify a model name or use the current model by default.MIT
- Get detailed schema information including properties, types, constraints, and examples for a specific data model. Drill down into any component schema after listing available schemas.MIT
- Capture and store user context, business processes, and Salesforce data model insights to provide personalized, context-aware assistance across sessions.BSD 2-Clause "Simplified"
- Fetch live Starwind UI component documentation, including installation guides, theming info, and usage examples. Filter by topic for specific component docs.MIT
- Retrieve a list of all component definitions in your SketchUp model to manage and organize 3D assets.MIT