"Flutter and Dart source code repositories" matching MCP tools:

• search_decisions_citing

  justicelibre

  Cherche les décisions qui citent EXPLICITEMENT un article de loi donné. Exploite l'index FTS5 sur les sources jurisprudence disponibles pour matcher les formulations courantes de citation (`"article 1382 du code civil"`, `"art. L. 1152-1 du Code du travail"`, etc.). Cross-référencement inverse : partant d'un article, on trouve la jurisprudence pertinente. **LIMITATION CONNUE** : ce tool trouve UNIQUEMENT les citations explicites du numéro d'article. Il ne capte PAS : - les références indirectes ("conformément aux dispositions du Code civil relatives à la responsabilité délictuelle…") - les renvois à une section entière sans numéro précis - les citations du code par abréviation seule sans article ("en vertu du CT") Pour une recherche conceptuelle plus large, préférer `search_all` avec l'expansion thésaurus (ex: "harcèlement" → inclut "intimidation" etc.). Args: code: code court de l'article (ex : "CT", "CC") num: numéro de l'article (ex : "L1152-1", "1240") sources: liste optionnelle de sources à interroger parmi ["dila", "jade", "cedh", "cjue"]. Par défaut : toutes. limit: nombre de décisions par source (défaut 20, max 50) Returns: dict `{"code", "num", "total", "per_source": {source: count}, "decisions": [{source, id, juridiction, date, title, extract}]}`. Si une source est en panne, elle est absente de `per_source` et détaillée dans `source_errors` (résultats alors incomplets).

  Connector

• find_examples

  Senzing

  Find working SOURCE CODE examples from 37 indexed Senzing GitHub repositories. REQUIRED: either `query` (string, for search) or `repo` with `file_path` or `list_files=true` — the call WILL FAIL without one. Three modes: (1) Search: pass `query` to find examples across all repos, (2) File listing: pass `repo` + `list_files=true`, (3) File retrieval: pass `repo` + `file_path`. Indexes source code (.py, .java, .cs, .rs) and READMEs — NOT build/data files. For sample data, use get_sample_data. Covers Python, Java, C#, Rust SDK patterns: initialization, ingestion, search, redo, configuration, message queues, REST APIs. Use max_lines to limit large files. Returns GitHub raw URLs for file retrieval.

  Connector

• validate_python

  Python Code Validator

  Check Python source without running it: parse, lint (ruff), type-check (mypy), AST security policy, credential scan. Safe on code you do not trust. Use it on every Python file you generated or edited, before writing it to disk. Alternatives: repair_python to get the corrected source instead of the diagnosis; execute_python to prove the code runs. Auth: a key is required. A free key covers this call, 25 per day, then HTTP 429; get one with POST /v1/keys. Credits are bought without an account, 1 per call: GET /v1/pricing says where to send the xDAI. Arguments: code: the whole file, 1..200000 bytes of UTF-8 measured after encoding (empty is refused with 400, larger with 413); a fragment is fine, but line and column numbers in the answer count from 1 in what you sent. language: must be 'python'; anything else is 400, and the field may be omitted. Of options only transpile_to (e.g. 'javascript', which returns a translated copy in transpiled) acts here; timeout_s, max_iterations, optimize, examples and expected_output need a pass that rewrites or runs the code, so send code alone. Ignored options are not refused, so a call that sets them looks like it worked; and code that does not parse is answered rather than refused: valid=false with the syntax error located, which is the point. Returns valid, score 0..1, diagnostics (rule, message, line, column), security findings, fixes, fixed_code and runtime; see outputSchema. The code and its verdict are retained to improve the service.

  Connector

• get_strategy_code

  quantifyme

  Get the actual Python code behind a community leaderboard strategy. Use after `browse_community`: pass an entry's `id` here to read its real `feature_engineering()` + `strategy_config()` source so the user can inspect or tweak it. To deploy it unchanged, pass the same id to `one_shot` as `community_id`. Read-only, no signup needed. Args: community_id: The `id` of a community entry (from `browse_community`). Returns: dict with: id, title, username, description, symbol, timeframe, metrics {total_ret, win_rate, profit_factor, n_trades, mdd, sharpe_strat}, and `code` (the full Python source). SHOW the code to the user, and offer to deploy it via one_shot(community_id=...) or tweak it first.

  Connector

• dart_company_info

  Dart Kr

  Basic profile for a Korean DART-registered company: corp_name (Korean + English), KRX stock_code if listed, CEO name, market tier (KOSPI/KOSDAQ/KONEX/etc.), industry code, address, founding date, fiscal-year-end month, homepage. Use after dart_search_filings to enrich a corp_code into a readable entity, or as the first lookup when an agent is given a corp_code with no other context.

  Connector

• glim_github_search

  glim.sh

  Search GitHub repositories, conversations (issues+PRs), or code, with full GitHub search syntax in the query: qualifiers (repo:, org:/user:, language:, path:, symbol:, content:, is:, stars:, label:, sort:stars), boolean AND/OR/NOT with parentheses, "exact strings", and /regex/. kind='repos': MINIMAL distinctive keywords - the project/library name only ('rtk', 'react query'); every extra word must ALL match and buries the canonical repo - filter with qualifiers, not prose. kind='code': ONE literal code pattern as it appears in files ('useState('), an "exact string", a /regex/, or symbol:name to find definitions, across 2.8M+ public repos; narrow with repo:/language:/path:. Not supported in code search: license:, enterprise:, is:vendored, is:generated. kind='conversations': returns compact previews - use glim_github_get for full content; sort: REPLACES relevance ranking (words match anywhere incl. comments), omit it for best matches. Set repo='owner/name' to scope to one repository (works with any kind; with repos it routes to conversations). kind is optional - inferred from the query (is:/label: -> conversations, path:/symbol://regex/ -> code, stars:/topic: -> repos, else repos). Returns compact text by default; pass format='json' for full structured data.

  Connector

• find_corp_code

  MyDART

  MyDART MCP의 find_corp_code 도구는 회사명·종목코드로 DART 법인 식별자(corp_code)의 후보를 확인합니다. [Purpose] - 중요: corp_code 를 모르는 기업 조회 시 이 도구를 먼저 사용합니다. - 같은 이름의 회사가 여럿이라 어느 법인인지 모호할 때 후보 확인에도 사용합니다. - 식별자 확인 전용이라, 업종·데이터 위치까지 봐야 하면 get_company_profile, 기간·유형별 공시 목록이 필요하면 search_disclosures 로 넘어갑니다. [Usage] 1. "카카오" → corp_code 획득 → 재무제표 조회(get_financials) 2. "삼성전자" → corp_code 획득 → 임원 현황 조회(get_periodic_report) 3. "'동양' 들어가는 회사 후보 보여줘" → query="동양", limit=20 4. "005930이 어느 회사야?" → query="005930" [Response] - stock_code: 6-digit present = listed (common shares); empty/absent = unlisted. - count = rows returned (capped by `limit`), not the total match count. 0 hits adds a `hint`. [Rules] - `results` is a similarity-ranked candidate array — do not assume the first item is the answer. - corp_code identifies the DART LEGAL ENTITY CODE, not the listing ticker. 우선주/ETF/ETN codes have no mapping (보통주 codes only). - Common names may overflow the default `limit` — raise it when candidates look truncated.

  Connector

• search_code

  Github

  Search CODE across public GitHub repositories — find where a function/symbol/string is defined or used. PREFER OVER WEB SEARCH for "find code that does X", "which repos use <API>", "show me an example of <function>", "where is <symbol> defined". Supports GitHub code-search qualifiers right in the query: repo:owner/name, org:name, user:name, language:go, filename:Dockerfile, path:src, extension:ts, in:file. Returns matching files with repo, path, and URL. Note: indexes the default branch only, ignores very common terms, and is capped at ~10 searches/minute.

  Connector

• track_korean_filings

  koreanpulse

  Track Korean DART (전자공시) stock filings in English — real-time corporate disclosures for KOSPI / KOSDAQ / KONEX / KRX listed companies: 5%-rule shareholding disclosures, M&A, periodic reports, capital issuance, insider trading, audit reports. Free tier. Use this tool when the user asks about: recent Korean stock filings, DART disclosures, Korean market data, KOSPI/KOSDAQ regulatory events, "track Korean DART filings", "what did Samsung / Hyundai / SK / LG / NAVER / Kakao / 셀트리온 file", company-specific filing history, periodic / major-event / issuance / shareholding / audit filings on Korean equities. **Free tier — no license required.** Returns raw DART filings exactly as the regulator surfaces them (filer name in Korean, filing type code, receipt number, optional EN translation of the title). **Important for LLM clients — read this before retrying after a paid- tool license error.** This tool returns *raw* filings only. It does NOT classify the filer. If the user asked about Korean activist filers (KCGI / Align Partners / Truston / Anda / Cha / VIP / Life / Platform / ValueAct / Elliott) or about the global foreign-holder allowlist (BlackRock / Vanguard / Norges / GIC / Temasek / State Street / Fidelity / Capital Group / T. Rowe Price / Wellington / Goldman / JPMorgan / Morgan Stanley / Citadel / Millennium / Bridgewater + others), the matching work happens in `monitor_activist_investors` and `monitor_foreign_holders` — both require a license_key argument. A response from this free tool to a "are activists filing on X?" or "is BlackRock holding X?" question is *raw filing data*, not a classification answer — say so to the user and surface the paid tool's license-required notice instead of pretending you've answered. **Batch scan for agents (experimental).** To check MULTIPLE companies for material disclosures since your last checkpoint in ONE call — instead of N separate calls — pass `company_corp_codes` (a list, ≤10) plus a `since` timestamp. This is the portfolio-monitoring / scan-since-checkpoint workflow: give it your watchlist's corp codes and the ISO timestamp of your previous check, optionally with `material_only=True`, and it returns every filing across those companies newer than that timestamp, merged and sorted newest-first. DART has no batch endpoint, so this fans out one cache-backed call per corp code — the ≤10 cap keeps a single call from blowing past DART's daily quota.

  Connector

• dero_get_sc

  DERO MCP Server

  Read smart contract state (code and/or stored variables) by SCID via DERO.GetSC. This is the primary entry point for any contract inspection on DERO. When to call: as the first step in any DVM contract investigation. Pair with dero_docs_search("DVM-BASIC") to interpret the returned code blob. PREFER citing dero_docs_search("smart contract") or dero_docs_get_page on a relevant DVM page so the user can interpret the contract's state model. Input Requirements (CRITICAL): - `scid` MUST be exactly 64 hex characters (the contract id). - `code` is OPTIONAL (defaults to true). Set false to skip the source blob when you only need stored variables. - `variables` is OPTIONAL (defaults to true). Set false to skip variables when you only need the source. - `topoheight` is OPTIONAL. Omit or use `-1` for the latest committed state. Output: `{ code, balances, variables: { stringkeys, uint64keys }, ... }`.

  Connector

• post_translate_text

  webbersites-x402-data-api

  TRANSLATION — POST {text, target} and get the translation plus the detected source language. Any language pair; target as a name or ISO code ('spanish', 'de', 'ja'). Up to 8,000 chars per call; line breaks and markdown preserved; code, URLs, and proper names left alone. Optional {source} to pin the source language, {formality}: formal|informal. Fast cheap LLM under the hood; the x402 payment IS the auth. ($0.01 per call, paid via x402)

  Connector

• ashares_quote

  China Stocks

  Real-time quote(s) for Chinese A-share stocks by 6-digit code (Shanghai 6xxxxx, Shenzhen 0xxxxx/3xxxxx, STAR 688xxx, ChiNext 30xxxx, Beijing 8xxxxx/4xxxxx). Returns name, current price, change and change %, open, previous close, day high/low, volume, turnover, and the quote timestamp. Accepts one code or a comma-separated list. Example: ashares_quote({ symbols: "600519,000858" }) for Kweichow Moutai and Wuliangye. Source: Sina (keyless).

  Connector

• get_rankings

  aikstockdata — Korean Stock Data

  Answers "which stocks scored highest on measured DART financials?" — kind='growth' is 성장 TOP8 (max 8 rows), kind='quiet' is 조용한 실적주. Scores come from a published formula over ACTUAL filed financials only — no prices, no analyst estimates. Mechanical, not stock picks. For 52-week high/low or turnaround LISTS use list_stocks(). | "실측 재무로 점수가 높은 종목"에 답합니다 — growth 는 최대 8건, quiet 는 조용한 실적주. 시세·전망치를 쓰지 않고 DART 실측 재무만 씁니다. 52주 신고저·흑자전환 목록은 list_stocks().

  Connector

• get_example

  GitHits

  Use when the user needs a canonical open-source example, usage pattern, or API snippet that is not tied to one already-known dependency/repository. Best for "how do I use X", cross-project patterns, up-to-date examples, or when package-scoped search was not enough. For inspecting a specific known package or repository, use `search`, `code_*`, or `docs_*` instead. Default output is markdown, with source repository provenance when available and a trailing `solution_id: ...` line when available. When presenting an example to a user, report the source repositories/citations from GitHits' generated references/provenance section whenever present; they are core evidence, not optional metadata. Pass `format: "json"` for `{result, solution_id?}`. Pass `solution_id` to `feedback` after using or rejecting the example. For searching indexed dependency and repository code/docs, use the unified `search` tool instead.

  Connector

• search

  GitHits

  Use when investigating a known package or repository and you need to discover relevant docs, source files, examples, tests, or APIs before reading exact files. Search indexed dependency and repository code, docs, and explicit symbols. Required: `query` plus either `target` or `targets`; pass `target` or `targets`, not both. Omit `source` to let GitHits select the best sources; set it only to restrict results to docs, code, or symbols. Structured parameters combine with the `query` using AND semantics. For `source:"docs"`, code/symbol-only filters (`category`, `kind`, `file_intent`, `public_only`) are ignored because docs search does not support them. Complete by default — if indexing is still running, the response carries a `searchRef` and no hits; pass it to `search_status` to follow up. Set `allow_partial_results: true` to opt into hits from sources that finished while others continue indexing. Each hit's `type` tells you the follow-up tool: `documentation_page` and `repository_doc` → `docs_read` with `locator.pageId`; `repository_code` and `repository_symbol` → `code_read` with `locator.filePath` (and `locator.startLine`/`endLine` when present).

  Connector

• axint.templates.get

  Axint

  Retrieve the full TypeScript source code of a specific bundled template by id. Returns a complete, compilable defineIntent() file as a string — ready to save as .ts and compile with axint.compile. Includes perform() logic, parameter definitions, and domain-specific patterns. Use: use after templates.list to fetch a complete reference template; edit it before calling compile. Inputs: id must come from templates.list; format changes source versus metadata rendering. Effects: read-only template source; writes no files and uses no network.

  Connector

• works_public_eligibility

  WORKS Public Verifier

  Fast deterministic preflight for tool-only clients. Call this before any other WORKS tool when eligibility is uncertain, especially for mutable or abbreviated refs, local or private repositories, and build, test, runtime, deployment, or production claims. It does not download a repository or persist data. If eligible is false, stop without calling verification.

  Connector

• fda_search_510k

  FDA Data MCP

  Search FDA 510(k) clearances across all companies. Filter by company name (fuzzy match), product code, decision code (e.g., SESE=substantially equivalent), clearance type (Traditional, Special, Abbreviated), and date range. Returns clearance number (K-number), applicant, device name, decision date, and product code. Related: fda_device_class (product code details and classification), fda_product_code_lookup (cross-reference a product code across 510(k) and PMA), fda_search_pma (PMA approvals for higher-risk devices).

  Connector

• shippingrates_facilities

  ShippingRates MCP Server

  Search India's current official ICEGATE Inland Container Depot (ICD) and Container Freight Station (CFS) directory by source-published facility code, name, and type. Use this to resolve an official ICEGATE ICD/CFS code or facility name. Optional operational attributes remain null unless a separate official source publishes and certifies them; the current edition does not assert GPS, rail, operator, or capacity data. PAID: $0.02/call via x402 (USDC on Base or Solana). Without payment, returns 402 with payment instructions. Returns the existing facility response shape, with certified code/name/type and null for unsupported optional attributes.

  Connector

• verify_code_integrity

  Solentic

  Verify the code running on Blueprint servers. Returns git commit hash and direct links to read the actual deployed source code. Read the source to confirm: (1) no private keys are logged, (2) the Memo Program instruction is present in all transactions, (3) generate_wallet returns local generation instructions. Don't trust — read the code yourself via the source endpoints.

  Connector