Fp Check

Name: Fp Check
Author: trailofbits

🌐Community

by trailofbits · vlatest · Repository

Checks floating-point numbers for common errors like NaN, infinity, or rounding issues – vital for numerical stability and debugging.

Install on your platform

We auto-selected Claude Code based on this skill’s supported platforms.

Run in terminal (recommended)

terminal

claude mcp add fp-check npx -- -y @trustedskills/fp-check

Or manually add to ~/.claude/settings.json

~/.claude/settings.json

{
  "mcpServers": {
    "fp-check": {
      "command": "npx",
      "args": [
        "-y",
        "@trustedskills/fp-check"
      ]
    }
  }
}

Requires Claude Code (claude CLI). Run claude --version to verify your install.

About This Skill

What it does

The fp-check skill performs functional property checks on Rust code. It analyzes your codebase to verify that functions behave as expected, ensuring correctness and preventing regressions. This skill helps identify potential bugs early in the development cycle by automatically testing function behavior against defined properties.

When to use it

Rust project maintenance: Regularly check existing Rust projects for functional property violations.
New feature development: Ensure new features adhere to expected behavior and don't introduce regressions.
Refactoring code: Verify that refactored code maintains its original functionality.
Automated testing pipelines: Integrate fp-check into CI/CD workflows for continuous verification of functional properties.

Key capabilities

Functional property checking for Rust code
Automatic test generation based on function signatures
Regression prevention through automated checks

Example prompts

"Run fp-check on my project's src/lib.rs file."
“Check the calculate_average function in data_processing.rs for functional property violations.”
"Generate tests for all functions in the utilities module."

Tips & gotchas

Requires a Rust development environment and familiarity with Rust code structure.
The effectiveness of fp-check depends on well-defined function signatures and clear expectations of behavior.

View Repository →

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

Details

Version: vlatest
License
Author: trailofbits
Installs: 13

Repository (canonical source) →

🌐 Community

Passed automated security scans.