skills.rest
MINT-IA
MINT-IAOFFICIAL
Explore all skills by this author →
GitHub

autoresearch-calculator-forge

Validate Swiss financial calculator outputs against official legal sources.

Updated Jan 25, 2026
Search Tags:#test-generation#flutter#continuous-integration#autotest#swiss-law#calculator-validator#financial-calculator
One-click install
npx skills add https://github.com/MINT-IA/MINT --skill autoresearch-calculator-forge
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: autoresearch-calculator-forge
Source: https://github.com/MINT-IA/MINT/tree/main/.claude/skills/autoresearch-calculator-forge
Command: npx skills add https://github.com/MINT-IA/MINT --skill autoresearch-calculator-forge

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill automates the validation of financial calculator code by generating edge-case scenarios from Swiss law and verifying outputs against official sources to detect and fix calculation discrepancies.

Core Features & Use Cases

  • Edge-case scenario generation: Create prioritized, law-backed test scenarios for AVS, LPP, and tax rules to exercise calculator boundaries.
  • Automated test generation and verification: Write flutter test cases with source references, run flutter test, and require fresh terminal output as proof of verification.
  • Safe repair loop with guardrails: Apply single-file fixes per iteration, enforce time/context budgets, never change sacred constants without human review, and log every iteration for auditability.
  • Use Case: A developer running regression checks on lib/services/financial_core discovers an AVS edge-case mismatch; the Skill generates the test, runs it, attempts a fix within budget, and appends verification output to the experiment log.

Quick Start

Use the autoresearch-calculator-forge skill to run 20 prioritized Swiss scenarios against a target calculator, produce verified flutter test output, and generate an experiment log entry.

Frequently Asked Questions about autoresearch-calculator-forge

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I validate Swiss financial calculator outputs against official legal sources?▼

Validating Swiss financial calculator outputs involves generating edge-case scenarios from AVS, LPP, and tax rules, then running flutter test suites to verify calculations against official administrative sources. This process detects discrepancies and attempts deterministic fixes within enforced time budgets.

How do I generate edge-case test scenarios for AVS and LPP rules in a Flutter app?▼

Generating edge-case test scenarios for AVS and LPP rules requires creating prioritized, law-backed test cases that exercise calculator boundaries. The system writes flutter test cases with source references and executes them to verify outputs against Swiss legal requirements.

Does the automated financial calculator repair loop modify sacred constants without human review?▼

The automated financial calculator repair loop never changes sacred constants without human review. It applies single-file fixes per iteration, enforces time and context budgets, and logs every iteration for auditability while preserving critical constants.

Can I use continuous integration to run Swiss tax calculator tests autonomously?▼

You can use continuous integration to run Swiss tax calculator tests autonomously by integrating flutter test execution. The system requires fresh terminal output as proof of verification and appends results to an experiment log for auditability.

What limitations exist when applying deterministic fixes to financial calculator mismatches?▼

Limitations when applying deterministic fixes to financial calculator mismatches include strict single-file modifications per iteration and enforced time and context budgets. Fixes commit only after fresh verification, preventing broad changes that could alter preserved sacred constants.

Related Skills

Explore More Software Engineering Skills→
KILWA73KILWA73

tva-calculator-audit

Audit TVA calculation logic for tax multipliers, discounts, and rounding.

Community
Advanced
cellarwoodcellarwood

recipe-log-deal-update

Append deal status updates to a Google Sheets Sales Pipeline spreadsheet.

Official
Basic
Sheldon-92Sheldon-92
3

Testing

Execute test suites and report failures with coverage metrics.

Community
Intermediate
MinBZKMinBZK
20

law-generate

Generate machine-readable law logic from Dutch YAML files with schema validation.

Official
Advanced