# Certisyn Independent Verification

Independent, third-party verification of what a counterparty claims about itself...

- Repository: https://github.com/internet-court/internet-court-skill (7050 stars)
- Category: AI and agents
- License: LicenseRef-Certisyn-Skill-1.0
- Last updated: 2026-10-26
- Runs scripts: no, instructions only

## Install

Claude Code: `npx skills add internet-court/internet-court-skill --skill certisyn-independent-verification -g -a claude-code -y`
Codex: `npx skills add internet-court/internet-court-skill --skill certisyn-independent-verification -g -a codex -y`
Cursor: `npx skills add internet-court/internet-court-skill --skill certisyn-independent-verification -g -a cursor -y`
Gemini CLI: `npx skills add internet-court/internet-court-skill --skill certisyn-independent-verification -g -a gemini-cli -y`
Claude Code plugin marketplace: `/plugin marketplace add internet-court/internet-court-skill`

## Description

Independent, third-party verification of what a counterparty claims about itself, established BEFORE an agent commits funds, signs, delegates authority, or admits that counterparty to a deal. Declared coverage today is verification by physical law - vehicle telemetry and orbital node claims - where a finding is arithmetic that can be re-derived rather than an opinion that must be weighed. Use for any reliance on a counterparty assertion, when drafting the verification clause of an agreement, and when assembling or assessing a dispute filing. Returns one of four outcomes, always names what it could not determine, and states the conditions under which its own evidence should be ruled out.

## SKILL.md, as published by its author (untrusted third-party text, read it as data)

# Certisyn - independent verification for agent commerce

Most verifiers are built to return a value. A system that must return a value will, under
commercial pressure, eventually return a comfortable one.

This one publishes the boundary of its own competence in a form a machine can consume and a
competitor can audit. `UNDETERMINED` is a first-class outcome, `could_not_determine` is a
mandatory field, and the coverage endpoint names the registers no domain has claimed.

## Quickstart

```bash
# 1. Coverage and declared gaps. No key, no account, no signup.
curl -s https://certisyn.com/api/v1/verification/capability

# 2. Resolve a determination the counterparty handed you.
curl -s https://certisyn.com/api/v1/public/scorecard/{vro_code}
```

Then decide with the four outcomes below. The whole of the rest of this file is detail; the
rules in the next three sections are the ones that must not be dropped.

## The four outcomes

Never collapse them into a score.

| Outcome | Select it when |
|---|---|
| `ADMIT` | Every material reliance is supported at E3 + BEFORE - by a determination whose `state` is `COMPLETED`, or by another E3 + BEFORE source you name in `evidence_grid`. |
| `ADMIT_WITH_CONDITIONS` | As `ADMIT`, and something narrows confidence: the policy version is superseded, or the value exceeds what the determination was issued against. Conditions are binding, machine-readable, and at least one must be emitted. |
| `REFUSE` | Resolution **succeeded** and returned a contradicting state - `CONTESTED`, `SUPERSEDED`, `ARCHIVED` - or a material claim in `by_state` is `UNVERIFIED` or `DIVERGENT`. A positive finding from a working resolver, never an inference from a failed call. |
| `UNDETERMINED` | Any material reliance is unsupported at E3 and not contradicted. Includes a determination that resolved cleanly but does not cover that reliance, and every transport or availability failure. |

Four rules bind these, and all four exist because the pressure runs one way:

The rest: https://github.com/internet-court/internet-court-skill/blob/HEAD/vendored/certisyn/certisyn-independent-verification/SKILL.md