Lyra Tool Discovery
AI-powered MCP tool discovery - find, analyze, and generate plugin configs for Model Context Protocol servers
6,174 servers
AI-powered MCP tool discovery - find, analyze, and generate plugin configs for Model Context Protocol servers
Accurate Unity API docs (2022/2023/6) for AI agents. Prevents hallucinated signatures.
Security-first MCP server for TP-Link Omada, with a stdio-first runtime, capability-gated tools, and OpenAPI-based network automation.
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Deterministic repository change-impact analysis for engineers and coding agents.
Governed Proxmox VE VM/container ops — 43 MCP tools with audit, budget, undo & risk-tier guards.
Move npm publishing in GitHub Actions from NPM_TOKEN to trusted publishing (OIDC).
Wopee.io AI testing agents: dispatch analyses and test runs, fetch artifacts and results.
Local codebase memory and repository code search for Codex, Claude Code, and MCP coding agents.
Read, create, and edit files.
21 MCP tools for math, randomness, dates, encoding, hashing, and more — deterministic and accurate.
Desktop Extensions: One-click local MCP server installation in desktop apps
SysML v2 and KerML for coding agents: workspace diagnostics and edits, execution, REPL sessions.
Wraps the AgenticWorkspace CLI as a single generic MCP tool for repo workspace scans.
Internal dependency map for monorepo packages, as structured data and a Mermaid graph.
Serial terminal with a GUI that AI assistants drive over MCP: read device logs, send commands.
Jetbrains plugin for the Postman MCP Server
A CLI tool for calling WeaveFox server-side open capabilities via the MCP protocol. Built for developers and AI agents.
Security scanner for AI-written code: SAST, secrets, dependencies, IaC, containers and DAST.
MCP server for document format conversion using pandoc.