checking

Name: checking
Author: ActiveInferenceInstitute

Type Checker Checking Agent

by ActiveInferenceInstitute(0) 0 installs

Free

Free account. Installing gives you the manifest plus copy-paste snippets.

See reviews

About

Imported from ActiveInferenceInstitute/GeneralizedNotationNotation (src/gnn/type_checker/checking/AGENTS.md). Install upstream with npx skills add ActiveInferenceInstitute/GeneralizedNotationNotation --skill checking. Copyright stays with the author.

Type Checker Checking Agent

Overview

This directory owns the core structural type-checking rules for src/gnn/type_checker/.

Purpose

Implement dimension and rule checks used by Step 5.
sections.py owns the single section-scoped content extraction shared by the checker and the estimator; summary.py owns the ValidationSummary aggregation.
Keep public exports in __init__.py aligned with core.py, sections.py, summary.py, dimensions.py, and rules.py.
Keep tests in tests/type_checker/ focused on real checker behavior.

Verification

Run uv run --extra dev python -m pytest tests/type_checker/ -q.

Use it

Copy one of these into your project. Installing also returns the manifest and these snippets.

yaml

targets:
  - https://api.opensmartroute.ai/api/v1/registry/activeinferenceinstitute-generalizednotationnotation-checking/manifest   # or paste the manifest below

Manifest

An Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.

activeinferenceinstitute-generalizednotationnotation-checking.ocm.jsonjson

{
  "ocm": "1",
  "id": "activeinferenceinstitute-generalizednotationnotation-checking",
  "kind": "skill",
  "name": "checking",
  "description": "Type Checker Checking Agent",
  "publisher": "ActiveInferenceInstitute",
  "version": "1.0.0",
  "capabilities": {
    "domains": [
      "general"
    ],
    "tags": [
      "skill-md",
      "github-agents"
    ],
    "languages": [
      "en"
    ]
  },
  "quality_prior": 0.6,
  "examples": [
    "Type Checker Checking Agent"
  ],
  "primary": false,
  "metadata": {
    "source": {
      "provider": "github-agents",
      "repository": "https://github.com/ActiveInferenceInstitute/GeneralizedNotationNotation",
      "path": "src/gnn/type_checker/checking/AGENTS.md",
      "ref": "1531df9844b6a07400c6ae40d16072a5fc8c1eee",
      "url": "https://github.com/ActiveInferenceInstitute/GeneralizedNotationNotation/blob/1531df9844b6a07400c6ae40d16072a5fc8c1eee/src/gnn/type_checker/checking/AGENTS.md",
      "key": "ActiveInferenceInstitute/GeneralizedNotationNotation/src/gnn/type_checker/checking/AGENTS.md"
    }
  },
  "instructions": "# Type Checker Checking Agent\n\n## Overview\nThis directory owns the core structural type-checking rules for `src/gnn/type_checker/`.\n\n## Purpose\n- Implement dimension and rule checks used by Step 5.\n- `sections.py` owns the single section-scoped content extraction shared by the checker and the estimator; `summary.py` owns the `ValidationSummary` aggregation.\n- Keep public exports in `__init__.py` aligned with `core.py`, `sections.py`, `summary.py`, `dimensions.py`, and `rules.py`.\n- Keep tests in `tests/type_checker/` focused on real checker behavior.\n\n## Verification\nRun `uv run --extra dev py",
  "cost": {
    "context_tokens": 159
  }
}

Fetch it by URL: GET /api/v1/registry/activeinferenceinstitute-generalizednotationnotation-checking/manifest?version=1.0.0

About

Type Checker Checking Agent

Overview

Purpose

Verification

Use it

Manifest

Reviews