跳到正文
cccskills
免费在 GitHub 公开

abi-claims-validator

Validate ABI docs and external collateral against repo evidence and docs/contracts/external-claims-audit.mdx. Use when auditing claims, scanning docs for unsupported QPS/sharding/FHE/AES language, checking one claim before publish, or re-confirming the external-claims audit. Agent procedure only — not a CLI or slash command. Pair with abi-doc-claims-sync when editing docs.

中文简介正在准备中。当前显示原文说明。

donaldfilimon/abi星标 19(GitHub 19 + cccskills 0)
集成工具Kubernetes

实测评分 未实测

查看安装方法

包含的文件(1)

  • SKILL.md4.7 KB

SKILL.md(原文)

安装前可以查看交给 AI 代理的指令内容。

ABI Claims Validator

Agent-side procedure to validate documentation, collateral, and public claims against the repository source of truth (Cargo.toml, src/, contract tests, docs/contracts/external-claims-audit.mdx). Use before publishing any external artifact. There is no /abi-claims-validator binary or slash command — follow the steps below (or dispatch the external-claims-auditor subagent).

For editing docs to stay claim-honest, prefer abi-doc-claims-sync.

Procedure (agent actions)

scan

  1. Open the target tree (default docs/, plus README/AGENTS/CHANGELOG/walkthrough as needed).
  2. Search for claim patterns (table below) with ripgrep or equivalent.
  3. For each hit, cross-reference source/tests/docs/contracts/external-claims-audit.mdx.
  4. In --strict mode, treat any unproven number or deployment claim as a fail.

Detects:

  • Performance numbers (QPS, latency, throughput, accuracy)
  • Deployment claims (Kubernetes, H100, multi-node)
  • Implementation language claims (Swift, Python, TensorFlow, PyTorch)
  • Security claims (AES-256, RBAC, certifications)
  • Distributed claims (sharding, multi-host)
  • Benchmark comparisons (SQuAD, CodeSearchNet, GPT)
  • Energy/GPU speedup claims

check-claim

Given one claim string, return SUPPORTED | UNSUPPORTED | PARTIAL plus the evidence path (source, test, or audit section). Prefer executable evidence over prose.

audit

Produce a short markdown report of flagged claims vs evidence. The durable ledger lives in docs/contracts/external-claims-audit.mdx — update that file when the audit changes reality, do not invent a parallel truth source.

Source of Truth Hierarchy

  1. Executable config: Cargo.toml, Cargo.toml.zon, rust-toolchain.toml
  2. Source implementation: src/, tests/golden/
  3. Contract tests: tests/golden/ (surface, mcp_tools, feature_modules, plugin_registry, public_docs)
  4. Explicit claim boundary: docs/contracts/external-claims-audit.mdx
  5. North-star mapping: docs/spec/wdbx-north-star.mdx §2 (Current/Partial/Proposed)
  6. Prose docs: README.md, docs/*.mdx — lowest priority, must reconcile upward

Common Claim Patterns to Flag

PatternLikely StatusCheck Against
`\d+\s*(QPSreq/sthroughput)`
\d+\s*ms\s*latency❌ Unsupported../wdbx/crates/abi-wdbx/tests/ artifact
`distributedshardingmulti-host
`AESRBACencryption
`SwiftPythonTensorFlow
`H100A100InfiniBand
`SQuADCodeSearchNetGPT
`energykWhefficiency

Replacement Wording

From docs/contracts/external-claims-audit.mdx §Reusable Delta:

Current ABI repo evidence supports a stable-Rust local AI orchestration framework with deterministic Abbey/Aviva/Abi profile routing, an in-process WDBX vector/key-value/block store, segment checkpoint plus WAL persistence with runtime recovery, a compatibility JSONL snapshot mirror, epoch reclamation helpers, snapshot-persisted temporal/causal graph records, MCP hybrid WDBX query ranking, HNSW-style cosine search, SHA-256-linked conversation blocks, 3D spatial search, feature-off stubs, CLI/MCP contract coverage, explicit connector live-mode boundaries, GPU capability reporting with CPU fallback, and a tested WDBX consensus RPC transport with shared-secret and optional peer-allowlist controls. The repo does not currently prove distributed sharding, production multi-host deployment, AES/RBAC WDBX storage, Swift/Python/TensorFlow implementation claims, Kubernetes/H100 deployment claims, regulatory certifications, QPS/latency/accuracy targets, GPU speedup figures, energy-efficiency metrics, or SQuAD/CodeSearchNet/GPT comparative scores.

Integration

Pre-publish gate (agent runs the scan procedure after code gates):

./tools/check.sh
./tools/check.sh
# then: scan docs/ + collateral per Procedure above (--strict)

No feature gates — procedural validation against source.

评价

还没有评价。欢迎分享你的使用感受。

评论

无需登录即可发表。欢迎分享使用感受、提问,或说明在哪些环境下无法运行。

还没有评论。来写第一条吧。

提交后会立即公开。请勿填写邮箱、电话等个人信息。URL 最多 2 个。

0 / 1000 字

此表单受 reCAPTCHA 保护,适用 Google 的隐私权政策和服务条款。

同一仓库的技能

Maintain the Abbey / Aviva / Abi Discord system prompts in the Rust abbey-bot (`src/ask.rs`) and keep the hosted Grok bots (Grok Bot Abbey, Aviva Grok) in step with them. Use when the user says "improve grok bots", "abbey prompt", "persona prompt", "ask.rs", "system prompt", "tip floor", asks to change how Abbey/Aviva/Abi speak on Discord, or after an abbey-bot PR merges and the hosted bot's tip floor needs bumping. Runs as /abbey-system-prompt.

中文简介正在准备中。当前显示原文说明。

donaldfilimon/abi192026年10月27日 更新

Synchronize ABI Markdown and docs claims with executable behavior. Use before editing README, AGENTS.md, CLAUDE.md, GEMINI.md, docs/**/*.mdx, walkthroughs, changelogs, or any old ABI Markdown that mentions WDBX, MCP, GPU, clustering, compression, FHE, agents, or benchmarks.

中文简介正在准备中。当前显示原文说明。

donaldfilimon/abi192026年10月27日 更新

Plan and execute ABI repo work from the TODO board, roadmap/spec docs, stable Rust 1.99.1 constraints, and validation gates. Use when the user asks to find ABI todos/roadmaps, organize a large implementation from tasks/todo.md, or decide the next safe work slice. Distinct from the goals skill — that skill owns the persistent ledger tasks/goals.md; this skill plans from the active board and north-star specs.

中文简介正在准备中。当前显示原文说明。

donaldfilimon/abi192026年10月27日 更新

Validate ABI MCP JSON-RPC stdio and its custom loopback HTTP compatibility endpoint, including auth, limits, notifications, and shutdown.

中文简介正在准备中。当前显示原文说明。

donaldfilimon/abi192026年10月27日 更新

Review ABI's 16 compiled-in plugin fixtures, manifest validation, manual bundled registry, and real CLI/MCP run dispatch without claiming dynamic loading.

中文简介正在准备中。当前显示原文说明。

donaldfilimon/abi192026年10月27日 更新

Coordinate ABI codebase health, skill telemetry, bundled-plugin runtime checks, ABI Mega inventories, stable Rust 1.99.1 gates, and cross-CLI skill synchronization. Use for full ABI health reviews and claim-honest skill/plugin improvement cycles.

中文简介正在准备中。当前显示原文说明。

donaldfilimon/abi192026年10月27日 更新

查看 donaldfilimon 的全部技能

报告此技能的问题