Tools

MCP server for the Lean 4 theorem prover: lets agents read proof goals, diagnostics and definitions and search theorems via LeanSearch and Loogle, helping mathematicians and students with formal proofs. Needs uv and the Lean toolchain; run it from the Lean project root.

68 trading and quant skills focused on crypto and DeFi: market and on-chain data, technical indicators, backtesting, position sizing and risk, prediction markets, and tax tools for cost basis and wash sales. Most need Python and data API keys (often free tiers); get expert review.

Third-party LSP plugin marketplace with 30+ language server plugins, including TypeScript, Python, Rust, Go, Java, C/C++, Vue, Svelte, Elixir and Haskell, covering more languages than the official set. Requires Claude Code 2.1.50+; install the language servers yourself.

Official MCP and skills from freee, Japan's cloud accounting service: accounting, invoices, HR and payroll, timesheets, fixed assets and tax filings. Remote server with freee OAuth recommended; freee Sign e-contracts are local-only for now. Have an accountant check results.

Adds /learn commands to 30+ agents including Claude Code, Codex and Cursor: knowledge maps, layered Socratic explanations, quizzes and spaced review, with a visual learning dashboard. Geared to self-study of programming and other technical topics; needs Node.js 20+.

Official Firebase skills: CLI and project setup, Authentication, Firestore, Hosting and App Hosting, Data Connect, Remote Config, Crashlytics, AI Logic, and writing and auditing security rules. Most use the Firebase CLI and need a Firebase project.

Official Firebase skill: install and sign in to the Firebase CLI, create and switch projects, download app config files such as google-services.json, and set up the other Firebase skills for Auth, Firestore, Hosting and more.

Semantic search over past Claude Code, Codex and other agent sessions: indexes each conversation when it ends and recalls past discussions, decisions and trade-offs via MCP tools and a subagent. Embedding and search run locally. By the author of Superpowers.

Google Maps for agents: place search and details, forward and reverse geocoding, routes, distance matrices, multi-stop optimization, weather and static maps, plus trip planning and local SEO ranking skills. Needs Node.js and a billing-enabled Google Maps Platform API key; calls may cost money.

Official Tavily skills: let agents search the web, extract page content, discover site URLs, crawl in bulk and run cited deep research through the Tavily CLI (tvly). Install the CLI first; search and extract have a limited no-login tier, other features need sign-in or an API key.

Lets agents work with Salesforce orgs authorized on your machine: SOQL queries, metadata deploy and retrieve, Apex test runs and permission set assignment, plus toolsets for LWC development. Maintained by Salesforce; authorize your org with the Salesforce CLI first.

Official Zhipu skill that uses the GLM-V multimodal model to read resumes in bulk, judge each against your criteria (e.g. 3+ years of experience) with reasons, and output a comparison table. Needs a Zhipu API key and Python; resumes can be URLs (PDF, Word, TXT) or local PDFs (needs PyMuPDF).

Astronomer's official data engineering plugin: write Airflow DAGs to best practices, debug pipeline failures, trace data lineage, profile warehouse tables and migrate from Airflow 2 to 3, with a built-in Airflow MCP server and session hooks.

Job search plugin: import your resume and preferences, then it finds matching roles, tailors your resume to each, writes cover letters and can fill applications on Greenhouse, Lever and Workday. Needs the Claude in Chrome extension.

Research guardrails for PhD students: reproduce arXiv papers, debug training anomalies with evidence, compare runs at matched epochs, check paper-code consistency, verify BibTeX, find literature gaps and predict reviewer comments. No MCP or extra dependencies; mostly for ML research.

Typed as /bro, has the agent re-explain its previous reply in plain, casual language without answering anything new or calling tools, keeping paths, commands and numbers verbatim and replying in the original language.

Deploys HTML or full-stack projects generated by agents to Tencent Cloud EdgeOne Makers and returns a public URL; supports both the international and China sites. Maintained by Tencent Cloud EdgeOne (formerly EdgeOne Pages MCP); sign in via browser or set an API token.

MCP module of MintHCM, an open-source self-hosted HR system: lets agents query, count and edit employee, recruiting, onboarding, offboarding, attendance, leave and performance records and run reports, keeping data on your server. Deploy MintHCM first; sign in via browser on first connect.

Install the QGIS MCP plugin from the QGIS plugin repository and agents get 125 tools to manage layers, edit features, run processing algorithms, style maps, build layouts and atlases, and run SQL across layers; supports QGIS 3.28 to 4.x. Needs QGIS and uv; no repo download required.

200+ single-file skills, mostly for sales, marketing, consulting and operations: deal strategy, forecasts, outreach emails, proposals and SOWs, contract review, resume screening, expense checks and RFP responses, plus personal finance and job search. Contract and tax output needs expert review.

Give it a folder of resumes (PDF, Word or text) and a job description: it scores each against the requirements citing resume text as evidence, then gives a tiered shortlist, advance or decline email drafts and interview questions. Never sends; ignores protected traits. For Claude Cowork and Code.

Drafts an employee handbook for small firms without dedicated HR: interviews the owner on actual practice, then writes plain-language attendance, leave, pay, conduct and anti-harassment policies, flagging clauses to check against local law. Based on US state rules; needs employment lawyer review.

Generates a structured interview scorecard for a role and level: weighted criteria, behavioral questions grouped by competency, independent interviewer score sheets, red and green flags, reference check questions and a debrief process, as one Markdown file ready for the panel.

Helps small businesses write job posts: interviews you on the real day-to-day, trims requirements to 4-6 true must-haves, states honest selling points, pushes for a posted salary range and outputs job board and social versions. Looks up local pay transparency rules online.