verify-language

Solid

Language-specific verification for Python, TypeScript/JavaScript, and Go. Checks type safety, language idioms, and best practices. Use when asked to "verify language", "check types", or for language-specific checks.

Code & Development 39 stars 5 forks Updated 4 days ago MIT

Install

View on GitHub

Quality Score: 86/100

Stars 20%
53
Recency 20%
100
Frontmatter 20%
70
Documentation 15%
100
Issue Health 10%
80
License 10%
100
Description 5%
100

Skill Content

# Language-Specific Verification ## Purpose Verify code against language-specific best practices and idioms for Python, TypeScript/JavaScript, and Go. All analysis happens locally. ## When to Use Trigger this skill when the user asks to: - "verify agent language" - "verify language" - "check types" - "check Python/TypeScript/Go code" This skill is also auto-invoked by the main verification orchestrator based on detected language. > **Note:** For full verification including security, patterns, and quality checks, tell the user to say **"verify agent"**. ## Process ### Step 1: Detect Language Identify the primary language by checking: | Indicator | Language | |-----------|----------| | `pyproject.toml`, `requirements.txt`, `setup.py` | Python | | `package.json`, `tsconfig.json` | TypeScript/JavaScript | | `go.mod`, `go.sum` | Go | | `Cargo.toml` | Rust | Also check file extensions in `src/` or project root: - `.py` → Python - `.ts`, `.tsx`, `.js`, `.jsx` → TypeScript/JavaScript - `.go` → Go - `.rs` → Rust ### Step 2: Run Language-Specific Checks Apply checks based on detected language. Each section below is only applicable for its language. --- ## Python Checks ### `[PATTERN]` Type Hints on Public Functions Flag any `def` function in public scope (no leading `_`) that has parameters without type annotations. **Examples:** ```python # ⚠️ Warning - Missing type hints def get_user(user_id): return db.find_user(user_id) def process_items(items, filter_fn):...

Details

Author
Aurite-ai
Repository
Aurite-ai/agent-verifier
Created
2 months ago
Last Updated
4 days ago
Language
N/A
License
MIT

Integrates with

Similar Skills

Semantically similar based on skill content — not just same category