Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
제작자가 쓴 설명(영어 원문)
Verify the facts an agent's action depends on before it acts — ALLOW, REVIEW, or BLOCK.
이 세 가지는 절대 하나의 점수로 합치지 않아요. 의견, 측정, 인기는 서로 다른 것이니까요.
이 서버는 아직 쉬운 말로 된 요약을 쓰지 못했어요. 아래는 레지스트리에서 읽어 온 사실이에요.
쓰고 있는 AI 앱을 고른 다음 설정을 복사하세요.
KAVAL_API_KEY, KAVAL_BASE_URL비밀로 표시된 값은 내 계정의 열쇠예요. 절대 다른 사람과 공유하거나 채팅에 붙여 넣지 마세요.
필요한 것
어떤 앱을 쓰세요?
위에서 앱을 고르세요. 기억해 두었다가 다음부터는 버튼에 “…에 설치”라고 표시해요.
Claude Desktop → Settings → Developer → Edit Config를 열고 claude_desktop_config.json에 이 내용을 붙여 넣으세요
{
"mcpServers": {
"kaval": {
"command": "npx",
"args": [
"-y",
"@usekaval/mcp"
],
"env": {
"KAVAL_API_KEY": "your-value",
"KAVAL_BASE_URL": "your-value"
}
}
}
}터미널에서 이 명령어를 실행하세요
claude mcp add kaval --env KAVAL_API_KEY=your-value --env KAVAL_BASE_URL=your-value -- npx -y @usekaval/mcp실행하기 전에 빈 값을 채워 주세요.
프로젝트의 .cursor/mcp.json 또는 ~/.cursor/mcp.json에 붙여 넣으세요
{
"mcpServers": {
"kaval": {
"command": "npx",
"args": [
"-y",
"@usekaval/mcp"
],
"env": {
"KAVAL_API_KEY": "your-value",
"KAVAL_BASE_URL": "your-value"
}
}
}
}브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.
프로젝트의 .vscode/mcp.json에 붙여 넣으세요
{
"servers": {
"kaval": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@usekaval/mcp"
],
"env": {
"KAVAL_API_KEY": "your-value",
"KAVAL_BASE_URL": "your-value"
}
}
}
}브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.
이 서버는 내 컴퓨터에서 실행되는데, ChatGPT는 인터넷에 있는 서버에만 연결할 수 있어요. 다른 앱을 고르세요.
선택한 앱은 이 기기의 쿠키에만 저장돼요. 계정은 필요 없어요.
KAVAL_BASE_URL env이 설정은 제작자의 레지스트리 정보로 만들었어요. README와 다르면 README를 따르세요.
내 컴퓨터에서 실행돼요. 설치하면 AI 앱에 도구 목록이 나타나요.
누구나 볼 수 있는 정보를 점검했고, 코드는 읽지 않았어요. 해당하지 않는 항목은 개수에서 뺐어요. · 2026년 11월 6일 점검
레지스트리 이름이 GitHub 계정 usekaval 기준으로 확인되었고, 이 계정이 저장소를 소유하고 있어요
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
내 컴퓨터에서 실행되는 서버라 인터넷 엔드포인트가 없어요
내 컴퓨터에서 실행되며, 대신 로컬 설정을 사용해요
내 컴퓨터에서 실행돼요. 도구 목록은 인터넷 엔드포인트가 있는 서버에서만 읽을 수 있어요
레지스트리에서 이 카테고리의 활성 서버 전체와 비교했어요. 스타는 게시자가 저장소를 소유한 경우에만 세요.
해당하는 기본 점검 1개 중 1개를 통과했어요. 코드는 읽지 않았어요. 키나 토큰을 넣기 전에 서버가 어떤 권한을 요구하는지 확인하고, 꼭 필요한 권한만 있는 키를 쓰세요.
입력해야 할 값: KAVAL_API_KEY
내 컴퓨터에서 실행돼요. AI 앱이 필요할 때 실행하고, 데이터는 제작자의 서버를 거치지 않아요(서버 자체가 온라인 서비스를 호출하는 경우는 제외).
GitHub 저장소는 마지막으로 – 변경됐고, 최신 버전(0.8.2)은 2개월 전 레지스트리에 올라왔어요.
Claude Desktop, Claude Code, Cursor, VS Code처럼 MCP를 지원하는 앱에서 쓸 수 있어요. 내 컴퓨터에 Node.js도 있어야 해요.
같은 카테고리에는: Spec Driven Development, Remote Desktop Commander, Safe Fetch
같은 카테고리에서 다른 제작자가 만든 서버예요. 스타 순으로 정렬했어요.
카드 보는 법:★ GitHub 스타i세 기둥: 리뷰 · 점검 · 사용 정도i업데이트 = 최신 버전을 레지스트리에 공개한 날i
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
MCP server for fetching URLs, safe against SSRF, DNS rebinding, and redirect-to-internal attacks.
제작자의 저장소에서 쓰인 그대로 가져왔어요. PopNx MCP가 검토하거나 보증한 내용이 아니에요. HTML, 이미지, 스크립트는 제거했어요. 링크를 누르면 이 사이트를 벗어나요.
Before an AI agent acts, Kaval verifies the facts that action depends on and answers ALLOW, REVIEW, or BLOCK with a signed receipt. This package exposes that as an MCP server.
Policy engines decide whether an action is permitted under the rules; Kaval verifies whether the facts those rules depend on are still true.
This package is a thin client over the hosted Kaval API. All compilation, grounding, and retrieval run server-side, so you bring just a Kaval API key — no model or search keys, no local engine.
0.6 was a breaking release. Nine tools became seven (before later portfolio/extraction tools landed), and everything removed folded into
check; the
API answers
410 tool_retiredfor the old routes and this server translates that into an error
that tells the agent to call
check. See Migrating from 0.5.
npx -y @usekaval/mcp
It speaks MCP over stdio. Point any MCP client at it.
{
"mcpServers": { "kaval": { "command": "npx", "args": ["-y", "@usekaval/mcp"], "env": { "KAVAL_API_KEY": "kv_live_…", }, }, }, }
| Tool | What it does |
|---|---|
check | The one that does the work. Send the action you are about to take (or the claims it rests on) → ALLOW / REVIEW / BLOCK, per-fact status, and a signed receipt. |
get_receipt | The full signed document behind a check's receipt.id — per-fact evidence basis, decision-rule version, signing key. What an agent attaches when it blocks. |
prepare_contract_upload | Create a private PDF upload target. |
ingest_contract | Queue canonical text, an HTTPS document, or an uploaded PDF for extraction. |
get_contract | Get contract processing status, candidate counts, and extraction issue state. |
list_contract_claims | List extracted candidates with exact evidence spans. |
list_contract_extraction_issues | List deterministic extraction failures that need customer review. |
review_contract_claim | Approve, correct, or reject one candidate with immutable version control. |
import_facts | Queue up to 400 reviewed facts for warm checks. |
get_fact_import | Get one bulk import and every item result. |
list_bulletins | Soft-deprecated — filter structured bulletins by payer, policy, code, date, or status. Prefer list_extraction_runs for new integrations. |
get_bulletin | Soft-deprecated — get one structured bulletin with field evidence. Prefer get_extraction_run. |
list_bulletin_extraction_attempts | Soft-deprecated — list customer-readable bulletin extraction status and failures. Prefer list_extraction_runs. |
get_bulletin_extraction_attempt | Soft-deprecated — get one bulletin extraction attempt by source-version id. Prefer get_extraction_run. |
list_training_jobs | List read-only training and evaluation status. |
get_training_job | Get one read-only training job. |
list_training_feedback | List reviewed feedback and its effective training-use state. |
record_training_feedback_consent | Record an explicit training-use decision for one reviewed feedback item. |
create_extraction_schema | Register a JSON Schema Kaval extracts structured records against. Requires policy-update:manage. |
list_extraction_schemas | List the extraction schemas registered in this workspace. |
create_extraction_run | Request a one-off publisher + period extraction run against a bound schema. Requires policy-update:manage. |
get_extraction_run | Get one extraction run by id — status, schema, and result once it succeeds. |
list_extraction_runs | List extraction runs with publisher/period/time filters, cursor pagination, and nested document chrome (pass expand_document: false to omit). |
list_extraction_packages | List the monthly PDF + manifest rollups extraction runs are packaged into. |
list_publishers | List org-owned publishers for this workspace's billing account. |
create_publisher | Create an org-owned publisher (UUID identity; renameable display name). |
get_publisher | Get one org-owned publisher by UUID. |
update_publisher | Rename an org-owned publisher. UUID identity is unchanged. |
add_source | Tell Kaval what to watch — requires publisher_id (org publisher UUID). A URL, a named authority to resolve, or a document you will push in. |
list_sources | What Kaval currently watches for this workspace, including sources it auto-registered after a check cited them. |
remove_source | Stop watching a source and forget it. The only thing that frees a registered/resolved workspace slot (auto-registered citations count there; discovered children use a separate per-parent ceiling). |
update_source | Bind (or unbind) an extraction schema and/or set publisher_id on a watched source. Pass reprocess: true to fill-missing re-extract prior versions. Requires policy-update:manage. |
get_source_version_content | Fetch the captured content of one fetched source version, as raw text or pre-split sections. |
report_outcome | Report what actually happened after a prior check (by receipt.id), so Kaval can calibrate. |
verify | Deprecated pilot alias: one conclusion + explicit evidence_refs → a signed ProofPacket receipt. Use check. |
The server publishes these JSON resources:
kaval://bulletinskaval://bulletins/extraction-attemptskaval://training-jobskaval://training-feedbackkaval://contracts/{contract_id}kaval://contracts/{contract_id}/claimskaval://contracts/{contract_id}/extraction-issueskaval://bulletins/{source_version_id}kaval://bulletins/extraction-attempts/{source_version_id}kaval://fact-imports/{import_id}kaval://training-jobs/{job_id}The training resources are read-only. Feedback review and consent require training:manage.
Bulletin extraction status is read-only. MCP does not expose the operator requeue control.
MCP does not start training or promote a model.
check// arguments
{ "action": "Approve this prior-authorization request at the in-network rate", "context": "payer: Aetna; CPT 12345; plan HMO", "materiality": "critical", }
Or skip extraction entirely by naming the facts:
{
"claims": [ { "subject": "Aetna", "predicate": "requires_prior_auth_for", "object": "CPT 12345", "scope": { "plan": "HMO", "state": "CA" }, }, "The 2024 IBC is the current edition", ], "mode": "fast", }
The response:
| field | meaning |
|---|
| decision | ALLOW — every material fact still holds on fresh evidence, proceed. REVIEW — something is unknown, mid-re-evaluation, or changed at low/medium materiality. REVIEW is never permission to act. BLOCK — a high/critical fact changed, or a critical fact is unknown. | | reason_codes | one or more of ALL_FACTS_HOLD, FACT_CHANGED, FACT_EXPIRED, FACT_UNKNOWN, SOURCE_UPDATED_PENDING_REVIEW, SOURCE_UNREACHABLE, NEW_FACT_UNVERIFIED, COMPILATION_UNCERTAIN | | facts[] | { fingerprint, text, status: holds \| changed \| unknown, materiality, served_from_state, last_verified_at, sources[] } — this is how you see _which_ belief moved | | receipt | { id, signature, signed_at }. Pass receipt.id to report_outcome, or to get_receipt for the full signed document
앞부분만 보여 드려요. 나머지는 저장소에서 읽어 보세요