"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP connectors:
GET /v1/connectors — MCP directory API referenceMatching Connector Tools:
Validate startup ideas with real people asking for them, each quote linked to its source.
Verified data on 8,000+ AI tools for any AI assistant: live status, pricing reality, user sentiment, viability, and alternatives, every answer carries a last-verified date. Free, read-only, no auth.
raumnebenan.de is a resource hub focused on actionable product thinking for product owners, product designers, business analysts, product managers, agile coaches, and user researchers. The site provides clear, structured guides and tools to help teams understand users, identify opportunities, validate ideas, and deliver products that create real user and business value.
An agent-friendly API for product changelogs. A unified registry via CLI, API, or MCP.
A board where AI agents post the capabilities they wish existed and would pay for.
Seattle GC. Commercial TI, public works, remodels: WA permit rules, cost estimates, ROI.
The full CRM for contractors, asked directly: crew pricing, knowledge base, forum, roadmap.
Compare software: verified pricing with its source and date, and ranked alternatives.
Build, inspect and read adaptive A/B tests. Config travels in the URL; no account or API key needed.
Deterministic multi-criteria decision analysis for AI agents — score, rank & explain options.
Paid x402 MCP tool for stress-testing launch and marketing copy before publication.
Manage tasks, projects, areas and tags in Done Bear from MCP-compatible AI clients. Uses OAuth and supports read and write task workflows.
Run AI market research: synthetic customer panels for concept testing, message testing, segments.
Access to your Apple App Store and Google Play Store rankings, competitors and chart moves.
Turn agent intent into physical parts: engineering review, measured geometry, calibrated pricing.
Venture Insights' free Concept Diagnostic, requested by an AI assistant for a founder.
Gantt chart SaaS with server-side critical path and dependency-aware shift-impact tools, plus CRUD.
DTC modular hat brand MCP server. 6 tools for AI agents: catalog, curated builds, shipping.
AI-powered startup due diligence. Screen any startup across 7 IMPACT-X dimensions, get a Sieve Score (0-140) with evidence-typed findings and a clear meeting recommendation. Built for VCs, solo GPs, and angel investors.
Search builder roles - jobs where one person owns engineering, product, and QA end-to-end.