"author:takada-at" matching MCP connectors:
Matching Connector Tools:
Hosted, OAuth-gated endpoint for quantakrypto's post-quantum crypto tools: scan code for quantum-vulnerable cryptography (RSA/ECDH/ECDSA/DH) and get NIST ML-KEM/ML-DSA/SLH-DSA migration guidance over authenticated HTTP — nothing to install. Sign-in required (Google/GitHub/email). Same tools as the open-source @quantakrypto/mcp server; source at github.com/quantakrypto/pqc-tools.
The official Svelte MCP server providing docs and autofixing tools for Svelte development
Rams is a design reviewer for UI code. The MCP server puts the hosted engine inside a coding agent: the agent passes files to the review_files tool and gets back a 0–100 score with file:line issues and concrete fixes — accessibility, color, typography, spacing, components, UX, motion, craft, and native SwiftUI. Same engine and scoring as the Rams GitHub App. 258 rules, published at rams.ai/rules. Free tier: 30 reviews/month.
Runs your code against a contract; returns HELD or BROKE at the exact input. Deterministic.
Stop your AI agents from writing sloppy TypeScript. A toolkit that teaches coding agents like Claude Code, Codex, Cursor, Amp, and more to ship production-ready code in half the time, at half the cost. Docs are available at https://convention.sh/docs
Ship production-ready TypeScript code in half the time, at half the cost.
Governance copilot for AI-assisted coding. 72 packs, 532 rules, proof bundles.
295k+ bug-fix patterns with MCP Hub proxy, PII filtering, and code search
Hunt zero-days by talking to binaries. 40+ tools. Hosted, OAuth + SSO, invite: hi@byteray.ai
EU AI Act + GDPR compliance scanner. One call, no arguments, 10 seconds. 22 AI frameworks detected.
Research intelligence for AI coding agents. 2M+ CS papers with evidence and tradeoffs.
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.