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.
สามเรื่องนี้ไม่รวมเป็นคะแนนเดียว เพราะความเห็น การวัด และความนิยม เป็นคนละเรื่องกัน
ตัวนี้ยังไม่ได้เรียบเรียงเป็นภาษาไทย ด้านล่างคือข้อเท็จจริงที่เราอ่านจาก registry
เลือกโปรแกรม 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": "ใส่ค่าของคุณ",
"KAVAL_BASE_URL": "ใส่ค่าของคุณ"
}
}
}
}พิมพ์คำสั่งนี้ใน Terminal
claude mcp add kaval --env KAVAL_API_KEY='ใส่ค่าของคุณ' --env KAVAL_BASE_URL='ใส่ค่าของคุณ' -- npx -y @usekaval/mcpเติมค่าที่เว้นว่างไว้ก่อนรัน
วางในไฟล์ .cursor/mcp.json ของโปรเจกต์ หรือ ~/.cursor/mcp.json
{
"mcpServers": {
"kaval": {
"command": "npx",
"args": [
"-y",
"@usekaval/mcp"
],
"env": {
"KAVAL_API_KEY": "ใส่ค่าของคุณ",
"KAVAL_BASE_URL": "ใส่ค่าของคุณ"
}
}
}
}เบราว์เซอร์จะถามก่อนเปิดแอป จากนั้นแอปแสดงค่าตั้งให้ตรวจแล้วกดยืนยัน ช่อง key เว้นว่างไว้ให้คุณใส่เอง
วางในไฟล์ .vscode/mcp.json ของโปรเจกต์
{
"servers": {
"kaval": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@usekaval/mcp"
],
"env": {
"KAVAL_API_KEY": "ใส่ค่าของคุณ",
"KAVAL_BASE_URL": "ใส่ค่าของคุณ"
}
}
}
}เบราว์เซอร์จะถามก่อนเปิดแอป จากนั้นแอปแสดงค่าตั้งให้ตรวจแล้วกดยืนยัน ช่อง key เว้นว่างไว้ให้คุณใส่เอง
ตัวนี้รันในเครื่องคุณ แต่ ChatGPT ต่อได้เฉพาะ server บนอินเทอร์เน็ต ลองเลือกแอปอื่น
ตัวเลือกเก็บในคุกกี้บนเครื่องนี้ ไม่ต้องมีบัญชี
KAVAL_BASE_URL envค่าตั้งนี้สร้างจากข้อมูลใน registry ของผู้ทำ ถ้าไม่ตรงกับ README ให้เชื่อ README
รันในเครื่องคุณ รายการเครื่องมือจะขึ้นในแอป AI หลังติดตั้ง
เราตรวจจากข้อมูลที่ใครก็เปิดดูได้ ยังไม่ได้อ่านโค้ด ข้อที่ไม่เกี่ยวกับตัวนี้ไม่นับในตัวหาร · ตรวจเมื่อ 6 พ.ย. 2569
ชื่อใน registry ยืนยันด้วยบัญชี GitHub usekaval ซึ่งเป็นเจ้าของ repo
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
ยังไม่ได้อ่านข้อมูล repo จาก GitHub
ตัวนี้รันบนเครื่องคุณ ไม่มี endpoint บนอินเทอร์เน็ต
ตัวนี้รันบนเครื่อง ใช้ค่าที่ตั้งในเครื่องแทน
รันในเครื่องคุณ เราอ่านรายการเครื่องมือได้เฉพาะตัวที่มี endpoint บนอินเทอร์เน็ต
เทียบกับทุก server ที่ยังใช้งานในหมวดนี้ทั้งทะเบียน ดาวนับเฉพาะเมื่อผู้ลงทะเบียนเป็นเจ้าของ repo
จากการตรวจเบื้องต้นของเรา ผ่าน 1 จาก 1 ข้อที่ตรวจได้ เรายังไม่ได้อ่านโค้ด ก่อนใส่กุญแจหรือ token ให้ดูว่า server ขอสิทธิ์อะไร และเลือกกุญแจที่ทำได้เท่าที่จำเป็น
ต้องใส่ค่าเหล่านี้: KAVAL_API_KEY
รันบนเครื่องของคุณ โปรแกรม AI จะเปิด server ขึ้นมาเองเมื่อใช้ ข้อมูลไม่ต้องผ่านเซิร์ฟเวอร์ของผู้ทำ (ยกเว้นตัวที่ไปเรียกบริการออนไลน์ต่อ)
repo บน GitHub มีการแก้โค้ดล่าสุด – และส่งรุ่นล่าสุด (0.8.2) เข้า registry 2 เดือนที่ผ่านมา
โปรแกรมที่รองรับ MCP เช่น Claude Desktop, Claude Code, Cursor และ VS Code ตัวนี้ต้องมี Node.js ในเครื่องด้วย
ในหมวดเดียวกันมี Spec Driven Development, Remote Desktop Commander, FOGA node
server หมวดเดียวกันจากผู้ทำคนอื่น เรียงตามดาว
อ่านการ์ด:★ ดาว GitHubiสามเสา: รีวิว · ผลตรวจ · การใช้งานiอัปเดต = วันที่ส่งรุ่นล่าสุดเข้า registryi
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.
A Finch OG Agent cell as an MCP server: read the world, dry-run and take ERC-8414 tenders by policy.
ส่วนนี้คัดจาก repo ของผู้ทำตามต้นฉบับ 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
ตัดมาแค่ช่วงต้น อ่านต่อใน repo