Ty Type Checking
This skill automatically checks your typed responses for common typos and suggests corrections, improving writing accuracy and reducing errors.
Install on your platform
We auto-selected Claude Code based on this skill’s supported platforms.
Run in terminal (recommended)
claude mcp add ty-type-checking npx -- -y @trustedskills/ty-type-checking
Or manually add to ~/.claude/settings.json
{
"mcpServers": {
"ty-type-checking": {
"command": "npx",
"args": [
"-y",
"@trustedskills/ty-type-checking"
]
}
}
}Requires Claude Code (claude CLI). Run claude --version to verify your install.
About This Skill
What it does
This skill performs static type checking on code snippets provided in various programming languages. It identifies potential type errors and suggests corrections, improving code reliability and reducing runtime bugs. The skill supports multiple languages and can be used to validate both small functions and larger code blocks.
When to use it
- Debugging: Quickly identify and fix type-related errors in your code before running it.
- Code Review: Ensure that new or modified code adheres to expected type constraints.
- Learning New Languages: Validate your understanding of a language's type system as you learn.
- Refactoring: Confirm that refactored code maintains its type safety.
Key capabilities
- Supports multiple programming languages (specific languages not listed).
- Identifies potential type errors.
- Suggests corrections for identified errors.
- Validates small functions and larger code blocks.
Example prompts
- "Check the types in this Python function:
def add(x, y): return x + y" - "Can you perform a type check on this JavaScript code snippet?"
- "Validate the following Rust code for type errors."
Tips & gotchas
The skill's effectiveness depends on providing accurate and complete code snippets. While it identifies potential issues, it is not a substitute for thorough testing and manual review.
Tags
TrustedSkills Verification
Unlike other registries that point to live repositories, TrustedSkills pins every skill to a verified commit hash. This protects you from malicious updates — what you install today is exactly what was reviewed and verified.
Security Audits
| Gen Agent Trust Hub | Pass |
| Socket | Pass |
| Snyk | Pass |
🌐 Community
Passed automated security scans.