MCP Container

dafny-mcp

Dafnyは、プログラムの正しさを証明するためのプログラミング言語です。このツールは、形式的な検証を行うことで、ソフトウェアの信頼性を向上させることを目的としています。Pythonで実装されており、使いやすさと強力な機能を兼ね備えています。

GitHub

GitHubスター

2

ユーザー評価

未評価

お気に入り

0

閲覧数

101

フォーク

2

イシュー

0

README
dafny-mcp

Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude

Dependencies
  • Uses Dafny locally so install it, e.g. brew install dafny on Mac OS X.
  • Uses the MCP Python SDK
Setup
  • uv pip install "mcp[cli]"
  • mcp install mcp.py
  • mcp dev mcp.py
作者情報
namin
namin
GitHub

0

フォロワー

0

リポジトリ

0

Gist

0

貢献数

関連するMCP
fastmcp logo
fastmcp
17372

FastMCPは、Model Context Protocol(MCP)に基づいてサーバーとクライアントを構築するためのPythonフレームワークです。使いやすさとパフォーマンスを重視しており、公式MCP Python SDKに統合されています。開発者が迅速にMCPを利用できるように設計されています。

Python
serena logo
serena
11753

Serenaは、Pythonを使用した高機能な開発ツールであり、コードの自動生成や翻訳をサポートします。ユーザーは直感的なインターフェースを通じて、効率的にプロジェクトを管理し、ワークフローを自動化できます。特に、データ分析やセキュリティ機能が充実しており、開発者にとって強力なサポートを提供します。

Python
Qwen-Agent logo
Qwen-Agent
11314

Agent framework and applications built upon Qwen>=3.0, featuring Function Calling, MCP, Code Interpreter, RAG, Chrome extension, etc.

Python