MCPVault / サーバーを比較

サーバーを比較

最大3つのサーバーを選択し、機能、接続方法、実際のチェック結果を比較できます。

サーバーを比較Gonzalgo
用途Axiom provenance for Lean 4 and Metamath — which step introduced an axiom, and whether the theorem statement required it Website: https://f-keys.com/gonzalgo/
認証（メンテナーの宣言）不明
公開起動コマンド個別のセットアップ
設定の出典公開インストール手順
観測済みツール不明
前回の完全なツールチェック不明
ライセンスApache-2.0
セットアップを開く

完全なチェックはツールを列挙します。ツールの実行やセキュリティの保証ではありません。