Token contract verification - 梅斯AI导航站

Quetext

Original Writing, Made Easy

Enso Connect

Digital guest experience platform for vacation rentals and hotels.

Nanonets

Nanonets is an AI platform that automates processes and extracts actionable insights from unstructured data.

B12.io

AI-powered website builder for professional service providers.

Branded

Real consumer data and insights platform.

TCMLLM——中医大模型

TCMLLM由北京交通大学计算机与信息技术学院医学智能团队开发的中医药大语言模型项目，旨在通过大模型方式实现中医临床辅助诊疗（病证诊断、处方推荐等）中医药知识问答等任务，推动中医知识问答、临床辅助诊疗等领域的快速发展。目前针对中医临床智能诊疗问题中的处方推荐任务，发布了中医处方推荐指令微调大模型TCMLLM-PR。研发团队整合了8个数据来源，涵盖4本中医经典教科书《中医内科学》、《中医外科学》、《

DeepWiki

DeepWiki ：基于 GitHub Repo 源代码生成最新版可对话式文档，由 Devin驱动。开源项目免费使用，无需注册。私有项目中使用需在 http://devin.ai 注册账号。直接访问 https://deepwiki.com，或将 GitHub 链接中的 github 替换为 deepwiki。即：GitHub 仓库链接中的 github 替换为 deepwiki，

xiaomi mimo

在本研究中，我们推出了 MiMo-7B 系列模型，这一系列模型从零开始训练，专为推理任务而生。我们基于 MiMo-7B-Base 进行的强化学习实验表明，我们的模型拥有非凡的推理潜力，甚至超越了规模更大的 32B 模型。此外，我们还对冷启动的 SFT 模型进行了强化学习训练，最终形成了 MiMo-7B-RL，它在数学和代码推理任务上均表现出色，性能堪比 OpenAI o1-mini。我们开

DeepSeek-Prover

我们在 Lean 4 中引入了 DeepSeek-Prover-V2，这是一个专为形式化定理证明而设计的开源大型语言模型，其初始化数据通过 DeepSeek-V3 驱动的递归定理证明流程收集。冷启动训练过程首先促使 DeepSeek-V3 将复杂问题分解为一系列子目标。已解决子目标的证明被合成为一个思路链，并结合 DeepSeek-V3 的逐步推理，为强化学习创建初始冷启动。这一过程使我们能够将非

Smart-Contract MCP Server Generator

Artifact2MCP Generator allows generation of MCP server automatically & dynamically given smart contract's compiled artifact (chain‑agnostic)

Load GitHub token from environment or set manually

Repository created via custom MCP Python server

ntfy-me-mcp 📤

An ntfy MCP server for sending ntfy notifications to your self-hosted ntfy server 📤 (supports secure token auth - use with npx or docker!)

MCP MongoDB Server

A Model Context Protocol (MCP) server that provides an interface between LLMs and MongoDB databases, optimized for small context windows (3k tokens). Specially for novel.

CosmWasm MCP Server

A Model Context Protocol (MCP) server that provides tools for interacting with CosmWasm smart contracts.

MCP OpenAPI Schema Explorer

MCP server providing token-efficient access to OpenAPI/Swagger specs via MCP Resources for client-side exploration.

SparkMango

Sparkmango lets agents generate and use MCP servers from contract ABIs

📤 ntfy-me-mcp

An ntfy MCP server for sending/fetching ntfy notifications to your self-hosted ntfy server from AI Agents 📤 (supports secure token auth & more - use with npx or docker!)

DeepMyst MCP Server

An MCP server that allow you to talk to DeepMyst and perform collaboration between LLMs using our Gateway, Router and Token Optimization

KaiaFun MCP

🐍 ☁️ An MCP server for listing and trading tokens on KaiaFun and interacting with the Kaia blockchain

🔒 Minimal Entra ID-authenticated MCP Server

Demo showing how to use Entra ID with MCP servers without passing access tokens through.

Token Info MCP

MCP server to check Betha's OAuth tokens

Safe MCP Server

Mirror of

Solana Web3.js MCP Server

MCP server for Solana web3.js development and smart contract deployment

test-mcp

test mcp servers and tokens used

搜索结果