# Check

> Load `dev/checking.md` for detailed guidance on fixing errors. Use when this capability is needed.

- Skill: `tomevault-io/check-7` (Agent Skill, multi-file: 2 files)
- Install (CLI): `npx skillmds@latest add tomevault-io/check-7`
- Raw SKILL.md: https://api.skillmd.com/api/skills/tomevault-io/check-7/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: tomevault-io (https://skillmd.com/u/tomevault-io)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/tomevault-io/check-7

---


# Linting and Type-Checking

Load `dev/checking.md` for detailed guidance on fixing errors.

## Procedure

1. Run `make check-fix` (auto-fixes formatting and simple issues)
2. Run `make check` - must pass
3. Run `make check-strict-all` - must pass
4. If errors occur, fix them using guidance from `dev/checking.md`
5. Repeat until both check commands pass

## Output Format

```text
## Linting & Type-Checking Results

- `make check`: PASS/FAIL
- `make check-strict-all`: PASS/FAIL
- Errors fixed: <count and brief list>

### Lessons Learned
<Patterns discovered while fixing issues — things future agents should know>
<If none, write "None">
```

**Always include Lessons Learned**, even if empty. When running as a sub-agent,
the main agent needs this for the PR description.

Examples of lessons learned:

- "Discovered that `Optional[X]` is required for all nullable parameters with
  --strict"
- "Class variables need explicit type annotations even when assigned
  immediately"
- "Import ordering: stdlib → third-party → local, with blank lines between
  groups"

## Exit Conditions

- **Success**: Both `make check` and `make check-strict-all` pass
- **Failure**: Report remaining errors clearly

---
> Converted and distributed by [TomeVault](https://tomevault.io/claim/lemeb) — claim your Tome and manage your conversions.
<!-- tomevault:4.0:skill_md:2026-04-14 -->