SpecProof: ツールの説明文の採点結果 ai.specproof/specproof-mcp

tools/list の取得日: 2026-11-02 (UTC)
出どころ: 公式の MCP Registry
接続した URL: https://mcp.specproof.ai/
ホームページ: specproof.ai
リポジトリ: github.com/ibouazizi/specproof.git
採点の規則: v2
掲載の取り下げ: support@forecall.dev

この URL のいまの状態を採点する

載せているのは点数、指摘、名前だけです

このページには、SpecProof (ai.specproof/specproof-mcp) のツールの説明文の点数と指摘、ツールと引数の名前を載せています。説明文はサーバーのものなので、出どころのページでお読みください。

このサーバーが公式の MCP Registry に載せている URL に、上の日に 1 度だけ接続して tools/list を取りました（ツールは呼んでいません）。その後、サーバーが変わっているかもしれません。

servers/ai.specproof/specproof-mcp

平均点: 48.5 / 100曇り
ツールの数: 17
説明がほぼ同じ組: 0

サーバー全体

サーバー全体の指摘はありません。

ツール

get_spec_dependents

31 / 100雨

目的: 17 / 20
使いどころ: 0 / 20
引数: 3 / 25
戻り値: 8 / 15
制約と副作用: 3 / 10
例: 0 / 10

要対応
いつ使うか、いつ使わないかが書かれていません。no_usage_context
要対応
説明のない引数: spec_number、max_resultsparam_no_description
軽微
制約も例もない文字列の引数: spec_numberloose_string_param

get_spec_references

33 / 100雨

目的: 17 / 20
使いどころ: 0 / 20
引数: 3 / 25
戻り値: 8 / 15
制約と副作用: 0 / 10
例: 5 / 10

要対応
いつ使うか、いつ使わないかが書かれていません。no_usage_context
要対応
説明のない引数: spec_number、reference_typeparam_no_description
軽微
制約も例もない文字列の引数: spec_numberloose_string_param
軽微
制約・副作用・認証・回数制限の記述がなく、annotations もありません。no_constraints

get_most_referenced_specs

41 / 100曇り

目的: 20 / 20
使いどころ: 0 / 20
引数: 5 / 25
戻り値: 8 / 15
制約と副作用: 3 / 10
例: 5 / 10

要対応
いつ使うか、いつ使わないかが書かれていません。no_usage_context
要対応
説明のない引数: doc_type、series、limitparam_no_description
軽微
`required` が指定されていないため、すべての引数が任意になっています。no_required

get_spec_metadata

41 / 100曇り

目的: 20 / 20
使いどころ: 0 / 20
引数: 5 / 25
戻り値: 8 / 15
制約と副作用: 3 / 10
例: 5 / 10

要対応
いつ使うか、いつ使わないかが書かれていません。no_usage_context
要対応
説明のない引数: spec_number、series、working_group、doc_class、limitparam_no_description
軽微
`required` が指定されていないため、すべての引数が任意になっています。no_required

get_document_content

43 / 100曇り

目的: 20 / 20
使いどころ: 0 / 20
引数: 3 / 25
戻り値: 8 / 15
制約と副作用: 7 / 10
例: 5 / 10

要対応
いつ使うか、いつ使わないかが書かれていません。no_usage_context
要対応
説明のない引数: filename、page_range、sectionparam_no_description
軽微
制約も例もない文字列の引数: filenameloose_string_param

get_relationship_graph

43 / 100曇り

目的: 20 / 20
使いどころ: 0 / 20
引数: 3 / 25
戻り値: 15 / 15
制約と副作用: 0 / 10
例: 5 / 10

要対応
いつ使うか、いつ使わないかが書かれていません。no_usage_context
要対応
説明のない引数: spec_number、depth、reference_typeparam_no_description
軽微
制約も例もない文字列の引数: spec_numberloose_string_param
軽微
制約・副作用・認証・回数制限の記述がなく、annotations もありません。no_constraints

get_database_stats

46 / 100曇り

目的: 6 / 20
使いどころ: 0 / 20
引数: 25 / 25
戻り値: 8 / 15
制約と副作用: 7 / 10
例: 0 / 10

要対応
説明文が名前の言い換えになっています（6 語）。restates_name
要対応
説明文が短すぎます（6 語）。too_short
要対応
いつ使うか、いつ使わないかが書かれていません。no_usage_context

list_documents

48 / 100曇り

目的: 20 / 20
使いどころ: 0 / 20
引数: 5 / 25
戻り値: 8 / 15
制約と副作用: 10 / 10
例: 5 / 10

要対応
いつ使うか、いつ使わないかが書かれていません。no_usage_context
要対応
説明のない引数: doc_type、search_pattern、limitparam_no_description
軽微
`required` が指定されていないため、すべての引数が任意になっています。no_required

get_rfc_lineage

50 / 100曇り

目的: 17 / 20
使いどころ: 10 / 20
引数: 3 / 25
戻り値: 8 / 15
制約と副作用: 7 / 10
例: 5 / 10

要対応
説明のない引数: rfcparam_no_description
軽微
制約も例もない文字列の引数: rfcloose_string_param

get_series_overview

50 / 100曇り

目的: 17 / 20
使いどころ: 0 / 20
引数: 25 / 25
戻り値: 8 / 15
制約と副作用: 0 / 10
例: 0 / 10

要対応
いつ使うか、いつ使わないかが書かれていません。no_usage_context
軽微
制約・副作用・認証・回数制限の記述がなく、annotations もありません。no_constraints

semantic_search

50 / 100曇り

目的: 17 / 20
使いどころ: 0 / 20
引数: 3 / 25
戻り値: 15 / 15
制約と副作用: 10 / 10
例: 5 / 10

要対応
いつ使うか、いつ使わないかが書かれていません。no_usage_context
要対応
説明のない引数: query、max_results、similarity_threshold、index_typeparam_no_description
軽微
制約も例もない文字列の引数: queryloose_string_param

generate_tests

53 / 100曇り

目的: 20 / 20
使いどころ: 5 / 20
引数: 8 / 25
戻り値: 8 / 15
制約と副作用: 7 / 10
例: 5 / 10

要対応
説明のない引数: requirement_id、targetparam_no_description
軽微
必須の id 系の引数に、値をどこから得るかが書かれていません: requirement_id。返してくれるツールや場所を書かないと、モデルは先に探しにいきます。id_source_missing

search_specifications

53 / 100曇り

目的: 20 / 20
使いどころ: 0 / 20
引数: 3 / 25
戻り値: 15 / 15
制約と副作用: 10 / 10
例: 5 / 10

要対応
いつ使うか、いつ使わないかが書かれていません。no_usage_context
要対応
説明のない引数: query、doc_type、spec_number、max_resultsparam_no_description
軽微
制約も例もない文字列の引数: queryloose_string_param

build_cross_spec_suite

55 / 100曇り

目的: 17 / 20
使いどころ: 5 / 20
引数: 3 / 25
戻り値: 15 / 15
制約と副作用: 10 / 10
例: 5 / 10

要対応
説明のない引数: spec_base、keyword、include_references、limitparam_no_description
軽微
制約も例もない文字列の引数: spec_base、keywordloose_string_param
軽微
真偽値の引数 include_references の意味が分かりにくくなっています。vague_boolean

diff_spec_versions

56 / 100曇り

目的: 20 / 20
使いどころ: 10 / 20
引数: 3 / 25
戻り値: 8 / 15
制約と副作用: 10 / 10
例: 5 / 10

要対応
説明のない引数: spec_base、from_version、to_version、obligation、limitparam_no_description
軽微
制約も例もない文字列の引数: spec_baseloose_string_param

get_requirements

65 / 100曇り

目的: 20 / 20
使いどころ: 10 / 20
引数: 5 / 25
戻り値: 15 / 15
制約と副作用: 10 / 10
例: 5 / 10

要対応
説明のない引数: spec_number、obligation、search、limitparam_no_description
軽微
`required` が指定されていないため、すべての引数が任意になっています。no_required

get_schema_definitions

67 / 100曇り

目的: 17 / 20
使いどころ: 15 / 20
引数: 5 / 25
戻り値: 15 / 15
制約と副作用: 10 / 10
例: 5 / 10

要対応
説明のない引数: name、spec_number、kind、limitparam_no_description
軽微
`required` が指定されていないため、すべての引数が任意になっています。no_required

静的な採点で分からないこと

この点数は、説明文とスキーマの文字だけを読んで付けています。書かれているかどうかを示すもので、モデルがどう動くかではありません。browser_close のように、短くても名前で意味が明らかなツールは、実際にはモデルが正しく使えていても低く出ます。私たちの計測でも、名前とスキーマが違えば、いまのモデルは 1 行の説明文からでも 1 手で正しいツールを選びました。文字からは分からないこと（数手にわたる動き、書き足した一文が助けになるか誤らせるか）は、Pro と Team のプランの評価で測れます。

ご自身のサーバーの掲載をやめてほしい場合は、support@forecall.dev までご連絡ください。7 日以内に外します。

採点したサーバーの一覧