CCXT
Official CCXT MCP server - Market data and trading across 100+ exchanges and prediction markets
ยังไม่มีคำอธิบายภาษาไทย ดูข้อเท็จจริงด้านล่าง หรือเปิดคำอธิบายต้นฉบับจากผู้ทำ
Shared task ledger for AI agents and humans: atomic claims, state machine, GitHub and Slack syncเลือกโปรแกรม AI ที่คุณใช้ แล้วคัดลอกค่าตั้งไปวาง
ผลตรวจผ่าน 3/3 · ทำงานบนเครื่องคุณ
ขั้นแรก: คุณใช้ AI ตัวไหน
เลือกแอปที่คุณใช้ ขั้นตอนจะขึ้นด้านล่าง
ต่อกับ Claude ได้ แต่ต้องเตรียมก่อน
ต้องมีคีย์ของ Workstream (สร้างที่เว็บของผู้ทำ) · ต้องลง Docker ในเครื่องก่อน (ทำครั้งเดียว) · ใช้ได้เฉพาะแอป Claude บนคอม (Windows หรือ Mac) ไม่ใช่บนเว็บหรือมือถือ
เปิดเว็บของผู้ทำ สมัครบัญชีแล้วสร้างคีย์ (API key) เก็บไว้ ใช้ในขั้นถัดไป ราคาและแผนฟรีดูที่เว็บของผู้ทำ
SettingsDeveloperEdit Config
{
"mcpServers": {
"workstream": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"WORKSTREAM_DB_CONNECTION",
"-e",
"WORKSTREAM_ADMIN_TOKEN",
"-e",
"WORKSTREAM_PUBLIC_BASE_URL",
"-e",
"WORKSTREAM_USER_TOKEN",
"ghcr.io/ahmad-codex/workstream-mcp:0.3.1"
],
"env": {
"WORKSTREAM_DB_CONNECTION": "ใส่ค่าของคุณ",
"WORKSTREAM_ADMIN_TOKEN": "ใส่ค่าของคุณ",
"WORKSTREAM_PUBLIC_BASE_URL": "ใส่ค่าของคุณ",
"WORKSTREAM_USER_TOKEN": "ใส่ค่าของคุณ"
}
}
}
}วางคีย์ในช่องของแอปเท่านั้น อย่าวางในแชตหรือส่งให้ใคร
ใช้ Workstream บอกหน่อยว่าทำอะไรให้ฉันได้บ้าง แล้วลองทำให้ดูหนึ่งอย่าง✓ ถ้า Claude บอกว่ากำลังใช้ Workstream หรือมีชื่อเครื่องมือของ Workstream ขึ้นในคำตอบ แปลว่าต่อสำเร็จ
ชื่อเมนูตรวจกับหน้าช่วยเหลือของ Anthropic เมื่อ 11 พ.ย. 2569 · หน้าจอของคุณอาจต่างเล็กน้อยตามรุ่นของแอป
ChatGPT ยังต่อ Workstream ไม่ได้
Workstream ต้องติดตั้งในเครื่องคุณ แต่ ChatGPT ต่อได้เฉพาะตัวที่ทำงานบนเว็บ
ก · ใช้แอปที่ต่อ Workstream ได้
ข · ตัวอื่นในหมวด บัญชี การเงิน และภาษี ที่ต่อกับ ChatGPT ได้
เลือกจากตัวที่ใช้มากในหมวดเดียวกัน เฉพาะตัวที่ต่อด้วยที่อยู่ได้โดยไม่ต้องใส่คีย์
ต่อกับ Claude Code ได้ แต่ต้องเตรียมก่อน
ต้องมีคีย์ของ Workstream (สร้างที่เว็บของผู้ทำ) · ต้องลง Docker ในเครื่องก่อน (ทำครั้งเดียว)
เปิดเว็บของผู้ทำ สมัครบัญชีแล้วสร้างคีย์ (API key) เก็บไว้ ใช้ในขั้นถัดไป ราคาและแผนฟรีดูที่เว็บของผู้ทำ
Mac: กด Command+Space พิมพ์ Terminal · Windows: เปิด PowerShell
claude mcp add --scope user workstream --env WORKSTREAM_DB_CONNECTION='ใส่ค่าของคุณ' --env WORKSTREAM_ADMIN_TOKEN='ใส่ค่าของคุณ' --env WORKSTREAM_PUBLIC_BASE_URL='ใส่ค่าของคุณ' --env WORKSTREAM_USER_TOKEN='ใส่ค่าของคุณ' -- docker run -i --rm -e WORKSTREAM_DB_CONNECTION -e WORKSTREAM_ADMIN_TOKEN -e WORKSTREAM_PUBLIC_BASE_URL -e WORKSTREAM_USER_TOKEN ghcr.io/ahmad-codex/workstream-mcp:0.3.1แก้ “ใส่ค่าของคุณ” เป็นคีย์ของคุณก่อนกด Enter
วางคีย์ในช่องของแอปเท่านั้น อย่าวางในแชตหรือส่งให้ใคร
ต้องเห็น Workstream ในรายการและขึ้นว่าเชื่อมต่อแล้ว
ใช้ Workstream บอกหน่อยว่าทำอะไรให้ฉันได้บ้าง แล้วลองทำให้ดูหนึ่งอย่าง✓ ถ้า Claude Code บอกว่ากำลังใช้ Workstream หรือมีชื่อเครื่องมือของ Workstream ขึ้นในคำตอบ แปลว่าต่อสำเร็จ
ชื่อเมนูตรวจกับหน้าช่วยเหลือของ Anthropic เมื่อ 11 พ.ย. 2569 · หน้าจอของคุณอาจต่างเล็กน้อยตามรุ่นของแอป
ต่อกับ Cursor ได้ แต่ต้องเตรียมก่อน
ต้องมีคีย์ของ Workstream (สร้างที่เว็บของผู้ทำ) · ต้องลง Docker ในเครื่องก่อน (ทำครั้งเดียว)
เปิดเว็บของผู้ทำ สมัครบัญชีแล้วสร้างคีย์ (API key) เก็บไว้ ใช้ในขั้นถัดไป ราคาและแผนฟรีดูที่เว็บของผู้ทำ
ในค่าตั้งของ Workstream ช่อง WORKSTREAM_DB_CONNECTION, WORKSTREAM_ADMIN_TOKEN, WORKSTREAM_PUBLIC_BASE_URL, WORKSTREAM_USER_TOKEN ยังว่าง ใส่คีย์ของคุณแล้วบันทึก
วางคีย์ในช่องของแอปเท่านั้น อย่าวางในแชตหรือส่งให้ใคร
ใช้ Workstream บอกหน่อยว่าทำอะไรให้ฉันได้บ้าง แล้วลองทำให้ดูหนึ่งอย่าง✓ ถ้า Cursor บอกว่ากำลังใช้ Workstream หรือมีชื่อเครื่องมือของ Workstream ขึ้นในคำตอบ แปลว่าต่อสำเร็จ
ชื่อเมนูตรวจกับหน้าช่วยเหลือของ Cursor เมื่อ 11 พ.ย. 2569 · หน้าจอของคุณอาจต่างเล็กน้อยตามรุ่นของแอป
ต่อกับ VS Code ได้ แต่ต้องเตรียมก่อน
ต้องมีคีย์ของ Workstream (สร้างที่เว็บของผู้ทำ) · ต้องลง Docker ในเครื่องก่อน (ทำครั้งเดียว)
เปิดเว็บของผู้ทำ สมัครบัญชีแล้วสร้างคีย์ (API key) เก็บไว้ ใช้ในขั้นถัดไป ราคาและแผนฟรีดูที่เว็บของผู้ทำ
ในค่าตั้งของ Workstream ช่อง WORKSTREAM_DB_CONNECTION, WORKSTREAM_ADMIN_TOKEN, WORKSTREAM_PUBLIC_BASE_URL, WORKSTREAM_USER_TOKEN ยังว่าง ใส่คีย์ของคุณแล้วบันทึก
วางคีย์ในช่องของแอปเท่านั้น อย่าวางในแชตหรือส่งให้ใคร
ใช้ Workstream บอกหน่อยว่าทำอะไรให้ฉันได้บ้าง แล้วลองทำให้ดูหนึ่งอย่าง✓ ถ้า VS Code บอกว่ากำลังใช้ Workstream หรือมีชื่อเครื่องมือของ Workstream ขึ้นในคำตอบ แปลว่าต่อสำเร็จ
ชื่อเมนูตรวจกับหน้าช่วยเหลือของ VS Code เมื่อ 11 พ.ย. 2569 · หน้าจอของคุณอาจต่างเล็กน้อยตามรุ่นของแอป
Claude Code
claude mcp add --scope user workstream --env WORKSTREAM_DB_CONNECTION='ใส่ค่าของคุณ' --env WORKSTREAM_ADMIN_TOKEN='ใส่ค่าของคุณ' --env WORKSTREAM_PUBLIC_BASE_URL='ใส่ค่าของคุณ' --env WORKSTREAM_USER_TOKEN='ใส่ค่าของคุณ' -- docker run -i --rm -e WORKSTREAM_DB_CONNECTION -e WORKSTREAM_ADMIN_TOKEN -e WORKSTREAM_PUBLIC_BASE_URL -e WORKSTREAM_USER_TOKEN ghcr.io/ahmad-codex/workstream-mcp:0.3.1Claude Desktop (claude_desktop_config.json)
{
"mcpServers": {
"workstream": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"WORKSTREAM_DB_CONNECTION",
"-e",
"WORKSTREAM_ADMIN_TOKEN",
"-e",
"WORKSTREAM_PUBLIC_BASE_URL",
"-e",
"WORKSTREAM_USER_TOKEN",
"ghcr.io/ahmad-codex/workstream-mcp:0.3.1"
],
"env": {
"WORKSTREAM_DB_CONNECTION": "ใส่ค่าของคุณ",
"WORKSTREAM_ADMIN_TOKEN": "ใส่ค่าของคุณ",
"WORKSTREAM_PUBLIC_BASE_URL": "ใส่ค่าของคุณ",
"WORKSTREAM_USER_TOKEN": "ใส่ค่าของคุณ"
}
}
}
}Cursor (~/.cursor/mcp.json)
{
"mcpServers": {
"workstream": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"WORKSTREAM_DB_CONNECTION",
"-e",
"WORKSTREAM_ADMIN_TOKEN",
"-e",
"WORKSTREAM_PUBLIC_BASE_URL",
"-e",
"WORKSTREAM_USER_TOKEN",
"ghcr.io/ahmad-codex/workstream-mcp:0.3.1"
],
"env": {
"WORKSTREAM_DB_CONNECTION": "ใส่ค่าของคุณ",
"WORKSTREAM_ADMIN_TOKEN": "ใส่ค่าของคุณ",
"WORKSTREAM_PUBLIC_BASE_URL": "ใส่ค่าของคุณ",
"WORKSTREAM_USER_TOKEN": "ใส่ค่าของคุณ"
}
}
}
}VS Code (mcp.json)
{
"servers": {
"workstream": {
"type": "stdio",
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"WORKSTREAM_DB_CONNECTION",
"-e",
"WORKSTREAM_ADMIN_TOKEN",
"-e",
"WORKSTREAM_PUBLIC_BASE_URL",
"-e",
"WORKSTREAM_USER_TOKEN",
"ghcr.io/ahmad-codex/workstream-mcp:0.3.1"
],
"env": {
"WORKSTREAM_DB_CONNECTION": "ใส่ค่าของคุณ",
"WORKSTREAM_ADMIN_TOKEN": "ใส่ค่าของคุณ",
"WORKSTREAM_PUBLIC_BASE_URL": "ใส่ค่าของคุณ",
"WORKSTREAM_USER_TOKEN": "ใส่ค่าของคุณ"
}
}
}
}WORKSTREAM_DB_CONNECTION ความลับ จำเป็น envWORKSTREAM_ADMIN_TOKEN ความลับ จำเป็น envWORKSTREAM_PUBLIC_BASE_URL envWORKSTREAM_USER_TOKEN ความลับ จำเป็น envค่าตั้งนี้สร้างจากข้อมูลใน registry ของผู้ทำ ถ้าไม่ตรงกับ README ให้เชื่อ README
oci: ghcr.io/ahmad-codex/workstream-mcp:0.3.1ดูจากแบบการต่อของ server ตัวนี้ และเอกสารของผู้ทำโปรแกรมแต่ละตัว ตรวจเมื่อ 10 พ.ย. 2569
ติดตั้งบนเครื่องได้ใน
ClaudeGooseLM StudioMsty StudioCherry StudioCursorVS Code + GitHub CopilotVisual StudioWindsurf (Devin Desktop)ZedKiroClineContinueJetBrains AI AssistantClaude CodeCodex CLIGemini CLIOpenCodenodecodeWarpLibreChatRaycast
รันในเครื่องคุณ รายการเครื่องมือจะขึ้นในแอป AI หลังติดตั้ง
เราตรวจจากข้อมูลที่ใครก็เปิดดูได้ ยังไม่ได้อ่านโค้ด ข้อที่ไม่เกี่ยวกับตัวนี้ไม่นับในตัวหาร · ตรวจเมื่อ 12 พ.ย. 2569
ชื่อใน registry ยืนยันด้วยบัญชี GitHub ahmad-codex ซึ่งเป็นเจ้าของ repo
มีการแก้โค้ดล่าสุด เมื่อวาน
ใช้ MIT
ตัวนี้รันบนเครื่องคุณ ไม่มี endpoint บนอินเทอร์เน็ต
ตัวนี้รันบนเครื่อง ใช้ค่าที่ตั้งในเครื่องแทน
รันในเครื่องคุณ เราอ่านรายการเครื่องมือได้เฉพาะตัวที่มี endpoint บนอินเทอร์เน็ต
ถาม แชร์เคล็ดลับ หรือแจ้งว่าใช้ไม่ได้ เรียงตามที่คนกดว่ามีประโยชน์
ยังไม่มีใครโพสต์ ถามหรือแชร์เป็นคนแรกได้เลย
ข้อความในส่วนนี้เขียนโดยผู้ใช้ ไม่ใช่ทีม PopNx
ยังไม่มีรีวิว
เทียบกับทุก server ที่ยังใช้งานในหมวดนี้ทั้งทะเบียน ดาวนับเฉพาะเมื่อผู้ลงทะเบียนเป็นเจ้าของ repo
จากการตรวจเบื้องต้นของเรา ผ่าน 3 จาก 3 ข้อที่ตรวจได้ เรายังไม่ได้อ่านโค้ด ก่อนใส่กุญแจหรือ token ให้ดูว่า server ขอสิทธิ์อะไร และเลือกกุญแจที่ทำได้เท่าที่จำเป็น
ต้องใส่ค่าเหล่านี้: WORKSTREAM_DB_CONNECTION, WORKSTREAM_ADMIN_TOKEN, WORKSTREAM_USER_TOKEN
รันบนเครื่องของคุณ โปรแกรม AI จะเปิด server ขึ้นมาเองเมื่อใช้ ข้อมูลไม่ต้องผ่านเซิร์ฟเวอร์ของผู้ทำ (ยกเว้นตัวที่ไปเรียกบริการออนไลน์ต่อ)
repo บน GitHub มีการแก้โค้ดล่าสุด เมื่อวาน และส่งรุ่นล่าสุด (0.3.1) เข้า registry 13 วันที่ผ่านมา
โปรแกรมที่รองรับ MCP เช่น Claude Desktop, Claude Code, Cursor และ VS Code ตัวนี้ต้องมี Docker ในเครื่องด้วย
ในหมวดเดียวกันมี CCXT, Finance Toolkit, AKQuant
server หมวดเดียวกันจากผู้ทำคนอื่น เรียงตามดาว
อ่านการ์ด:↓ ดาวน์โหลดต่อสัปดาห์i★ ดาว GitHubiสามเสา: รีวิว · ผลตรวจ · การใช้งานiอัปเดต = วันที่ส่งรุ่นล่าสุดเข้า registryi
ส่วนนี้คัดจาก repo ของผู้ทำตามต้นฉบับ PopNx MCP ไม่ได้ตรวจหรือรับรองเนื้อหา ตัด HTML รูปภาพ และสคริปต์ออกแล้ว ลิงก์จะพาออกนอกเว็บ
An MCP server that keeps the state of record for work done by AI agents and humans together: plans, tasks, claims, findings, fix attempts and verdicts, stored in Postgres, mirrored to GitHub Projects and Slack.
One container with Postgres and the server in demo mode, seeded with a project, an active plan and three tasks:
docker run --rm -p 127.0.0.1:8080:8080 ghcr.io/ahmad-codex/workstream-mcp:demo
claude mcp add --transport http workstream-demo http://localhost:8080/demo-insecure-token/mcp
Then ask Claude to "list the workstream projects and claim the next task on the demo plan". The demo token is public and gives admin rights, so keep the port on 127.0.0.1; the server refuses that token whenever demo mode is off. Data is gone when the container stops.
Open http://localhost:8080/demo-insecure-token/ui/ to watch the plan on the dashboard. To see agents race for tasks, start the container with -e WORKSTREAM_ADMIN_TOKEN=local-admin and run WORKSTREAM_ADMIN_TOKEN=local-admin node scripts/simulate-agents.mjs.
Clone the repo, open Claude Code in it, and paste:
Set up workstream-mcp for me on this machine. Follow the README quick start using the
published Docker image, create an admin user for me, and connect this Claude Code session to it. Then create a project and a development plan with three sample tasks, activate it, and claim one task to show it works. When that is done, ask me whether I want GitHub Projects or Slack sync, and walk me through docs/github-setup.md or docs/slack-setup.md step by step, telling me exactly what to click and which values to paste back.
Prefer to do it by hand? See the quick start.
A common way to coordinate agent work is a markdown plan in the repo: a checklist the agent reads, edits and commits. That works for one agent in one session. It breaks down when several agents and people work the same plan at once:
workstream-mcp replaces the file with a small service. Agents call MCP tools to claim work, submit results and record verdicts. Claims are atomic and expire, transitions are checked against a state graph, every change is written to an append-only event log, and GitHub and Slack are updated from an outbox so an outage on their side never blocks the agents.
What the code does today:
SELECT ... FOR UPDATE SKIP LOCKED in one transaction, so concurrent claimers never get the same task and never block each other. A claim that is not refreshed expires and the work returns to the pool. Covered by a 32-claimer concurrency test suite.plan_types.state_graph (JSONB). Two plan types ship: audit (find, verify, fix, re-verify) and development (implement, review). An illegal transition returns illegal_transition with allowed_next, so the calling model can correct itself.events row. Triggers block UPDATE and DELETE on events and verdicts.board_sync_log and slack_notify_log inside the request transaction and drained by background workers with retries./ /ui/: tasks by status, claim holders with a TTL countdown, dependencies, stuck work and the event timeline of every task. See docs/dashboard.md.https://host/ /mcp. Pasting it into an MCP client is the whole setup. Tokens can be rotated; the token is stripped from the path and from logs.request_audit queues an audit run; a sidecar container clones the repo and starts the project's audit orchestrator in a tmux session with Claude Code./admin/* endpoints behind a static bearer token for users and boards, plus a workstream-admin CLI for user management. Projects and plans are set up through the admin-gated MCP tools.stuck_work_reports.flowchart LR
subgraph Clients CC[Claude Code / Desktop / Cursor] ORCH[Orchestrator agents] end
CC -- "POST /<token>/mcp JSON-RPC 2.0" --> API ORCH -- "POST /<token>/mcp" --> API
subgraph Server API[Workstream.Api token middleware, MCP tools, state machine, claims] BSW[BoardSyncWorker] SNW[SlackNotifyWorker] DISP[AuditDispatchWorker dispatcher role] end
API -- "one transaction: state + events + outbox rows" --> PGB[(PgBouncer)] PGB --> PG[(Postgres 16)] BSW -- drain board_sync_log --> PG SNW -- drain slack_notify_log --> PG DISP -- drain audit_dispatch_log --> PG
BSW -- GraphQL / REST --> GH[GitHub Projects V2, issues, milestones] SNW -- chat.postMessage --> SL[Slack] GH -- signed webhook --> API SL -- signed interactivity --> API DISP -- tmux + claude --> REPO[checked-out repos]
| Project | Responsibility |
|---|---|
src/Workstream.Api | ASP.NET Core host, token middleware, JSON-RPC endpoint, admin API, webhooks, dispatcher |
src/Workstream.Core | Domain model, state graph parser, StateMachineService, claim rules |
src/Workstream.Data | Npgsql + Dapper repositories, outbox, SQL migration runner |
src/Workstream.Mcp | The MCP tool classes and their registration |
src/Workstream.GitHub | GitHub App auth, Projects V2 client, board sync worker |
src/Workstream.Slack | Slack client, Block Kit builders, notify worker, signature check |
src/Workstream.Telemetry | OpenTelemetry setup and metric definitions |
tools/workstream-admin | Operator CLI |
deploy/ | Dockerfiles, compose files, migrations, plan-type profiles, Caddy, PgBouncer, Grafana and Prometheus config |
More in docs/architecture.md and docs/state-machine.md.
Needs Docker. This starts Postgres and the API only; GitHub, Slack and the dispatcher stay off.
git clone https://github.com/ahmad-codex/workstream-mcp.git
cd workstream-mcp docker compose -f deploy/docker-compose.quickstart.yml up -d --build curl http://localhost:8080/healthz
To skip the local build, run the published image instead:
WORKSTREAM_IMAGE=ghcr.io/ahmad-codex/workstream-mcp:latest \
docker compose -f deploy/docker-compose.quickstart.yml up -d --no-build
The API applies the SQL migrations on startup, including the audit and development plan types.
Create a user. The response contains the user's MCP URL once; copy it.
curl -s -X POST http://localhost:8080/admin/users \
-H "Authorization: Bearer local-admin-token" \ -H "Content-Type: application/json" \ -d '{"githubUsername":"alice","displayName":"Alice","actorType":"human","isAdmin":true}'
isAdmin lets this user call the setup tools (create_project, create_plan, ...). Check the URL:
curl http://localhost:8080/<token>
Then connect an MCP client (next section) and ask it to create a project, a development plan and a few tasks, activate the plan, and claim one.
Stop with docker compose -f deploy/docker-compose.quickstart.yml down (add -v to drop the data).
The server speaks MCP over HTTP (JSON-RPC 2.0 POSTs) at / /mcp. There are no extra headers; the token in the path identifies the user.
Claude Code
claude mcp add --transport http workstream http://localhost:8080/<token>/mcp
Claude Desktop (claude_desktop_config.json). Claude Desktop launches stdio servers from this file, so use the mcp-remote bridge (needs Node.js):
{
"mcpServers": { "workstream": { "command": "npx", "args": ["-y", "mcp-remote", "http://localhost:8080/ /mcp"] } } }
If the server is reachable from the internet over HTTPS, you can instead add the URL as a custom connector in Claude Desktop's settings.
stdio (any client). The same binary speaks MCP over stdin/stdout with --stdio, acting as the user whose token is in WORKSTREAM_USER_TOKEN against the database in WORKSTREAM_DB_CONNECTION (an HTTP server must still be running somewhere to drain the GitHub and Slack outboxes):
{
"mcpServers": { "workstream": { "command": "dotnet", "args": ["/path/to/Workstream.Api.dll", "--stdio"], "env": { "WORKSTREAM_DB_CONNECTION": "Host=localhost;Database=workstream;Username=workstream;Password=...", "WORKSTREAM_USER_TOKEN": " " } } } }
Without WORKSTREAM_DB_CONNECTION, --stdio starts in discovery mode: initialize and tools/list work and every tool call returns a not_configured error. Directory scanners such as Glama use this mode.
Cursor (~/.cursor/mcp.json, or .cursor/mcp.json in a project):
{
"mcpServers": { "workstream": { "url": "http://localhost:8080/ /mcp" } } }
The URL is a credential. Do not commit it; keep it in user-level config. See docs/onboarding.md for the full onboarding flow.
36 tools. Every response is { ok, data, error }; errors carry a stable code (stale_claim, illegal_transition, retry_cap_exceeded, ...). Full details in docs/mcp-tools.md. Any call may pass as_agent to set the role persona used for Slack posts.
| Group | Tool | What it does |
|---|---|---|
| Discovery | list_projects | Projects with active plan counts and the caller's open claims |
list_plans | Plans of a project, filterable by status, with task counts per status | |
get_plan_dashboard | Status counts, next claimable work, my claims, stuck work, recent events | |
get_my_active_work | Every claim the caller holds | |
| Claims | claim_next_task | Claim the highest-priority pending task for a role |
claim_specific_task | Claim one task by id |
| | `claim_next_finding_for_verifica