agentsclimarketplace

Floating point analysis

Skill a5c-ai/babysitter/library/specializations/domains/science/mathematics/skills/floating-point-analysis

Babysitter enforces obedience on agentic workforces and enables them to manage extremely complex tasks and workflows through deterministic, hallucination-free self-orchestration

Install
npx -y skills add a5c-ai/babysitter --skill floating-point-analysis

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

What its author says it does

Copied from the file, not written here

Rigorous floating-point error analysis

SKILL.md

1.3 KB, as published. Nobody here has run it

Floating-Point Analysis

Purpose

Provides rigorous floating-point error analysis capabilities for numerical algorithm verification and accuracy assessment.

Capabilities

  • IEEE 754 arithmetic modeling
  • Roundoff error accumulation tracking
  • Interval arithmetic computation
  • Arbitrary precision arithmetic
  • Numerical condition number computation
  • Error bound derivation

Usage Guidelines

  1. Error Modeling: Model floating-point operations precisely
  2. Interval Arithmetic: Use interval bounds for guaranteed accuracy
  3. High Precision: Employ arbitrary precision for validation
  4. Error Bounds: Derive forward and backward error bounds

Tools/Libraries

  • MPFR
  • Arb
  • Herbie
  • FPBench

Keep looking

Skills are one crate of 328,083. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.