Skip to main content
Glama
dongsheng123132

dsh-loader-settlement-proof

dsh-loader-settlement-proof

Офлайн-уровень доказательств для фиксации результатов загрузки DeepSeek Harness Loader. Он проверяет фиксированную квитанцию без тела для:

  • привязки ревизии DSH и контракта Loader;

  • упорядоченного жизненного цикла declared → resolved → loaded → activated;

  • активации включённых/обязательных записей и классифицированных сбоев;

  • запрошенных и разрешённых инъекций;

  • обязательных имён инструментов и их SHA-256-квитанций схем;

  • дубликатов записей, фаз, инструментов и коллизий инструментов между записями.

Он генерирует детерминированный JSON с адресацией по содержимому. Инструменты/CLI DSH могут публиковать только в явно указанный artifactDir и проверять байты после публикации. MCP работает только во встроенном режиме.

Осознанная граница

Это не ещё один Loader. DSH app-boot уже обеспечивает выполнение assertEntriesLoaded и assertEntriesActivated в реальном времени; dsh-reloader перезапускает поверхность, dsh-builtin-toggles изменяет разрешённое подмножество UI, dsh-profile-lock-proof доказывает установленную композицию, а матрица времени выполнения Awesome выполняет реальные кросс-платформенные загрузки. Этот плагин проверяет предоставленную производителем квитанцию о фиксации, привязанную к ревизии, для последующего аудита. Он никогда не импортирует, не запускает, не перезагружает и не переключает записанный плагин и никогда не принимает необработанные журналы, трассировки стека, вывод, бизнес-тела или секреты.

Related MCP server: ShipReceipt MCP Server

Использование

dsh plugin --profile web add github:dongsheng123132/dsh-loader-settlement-proof#<commit>
dsh-loader-settlement-proof inspect examples/settlement.json
dsh-loader-settlement-proof verify examples/settlement.json artifacts

Инструменты DSH: dsh_loader_settlement_inspect, dsh_loader_settlement_verify.

Инструменты MCP: loader_settlement_inspect_inline, loader_settlement_verify_inline.

Проверка

npm test
npm run check
npm run smoke:plugin
npm run smoke:mcp
python C:/Users/ZhuanZ/.codex/skills/.system/plugin-creator/scripts/validate_plugin.py .

verified означает, что квитанция внутренне согласована с её явной политикой. Это не сертификация безопасности и не может доказать, что производитель квитанции честно наблюдал за работающим Loader.

A
license - permissive license
Not graded
quality - not tested
C
maintenance

Maintenance

Maintainers
Response time
Release cycle
Releases (12mo)
Commit activity

Resources

Unclaimed servers have limited discoverability.

Looking for Admin?

If you are the server author, to access and configure the admin panel.

Related MCP Servers

  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables defining and verifying evidence contracts for claims in READMEs, releases, or product pages using constrained verifiers and generating hash-chained receipts and reports.
    23
    MIT
  • A
    license
    Not graded
    quality
    B
    maintenance
    Enables MCP hosts to verify agent spending mandates and receipts, providing stateless tools for authorization, chain verification, credential verification, and DID resolution.
    Apache 2.0

View all related MCP servers

Related MCP Connectors

View all MCP Connectors

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/dongsheng123132/dsh-loader-settlement-proof'

If you have feedback or need assistance with the MCP directory API, please join our Discord server