Live survey304 models · 14 providers · 22,792 auditsAudited grill-with-docs · SAFE →What changedHow we verifyllms.txt

Agent skill · Audited from source

Constrained Addition Math Solver

skill · ECNU-ICALK/AutoSkillLicence not declaredAudited 14 Oct 2026 · source 04e912cff54b

★ 602pushed 157 days agoversion 0.1.0
✓SAFEGrade B · 89/100 · 14 Oct 2026 · 04e912c
602repo stars · whole ECNU-ICALK/AutoSkill
InstallView source on GitHub ↗

Is it safe? Yes — SAFE, grade B (89/100). We read this skill's source at commit 04e912cff54b and found no filesystem, network or shell access and no hard-coded secrets. What it does: Solves for a target number using specific group sizes (addends) using strictly addition operations. It must not use subtraction, removal, discarding, or replacing of groups.

Ask an AI about this pageGChatGPTCClaudePPerplexityGeGeminiXGrok
More
CoCopilotAIGoogle AI Mode
Cite

Cite this page

ModelsAtlas. “Constrained Addition Math Solver (ECNU-ICALK/AutoSkill)”. Retrieved 14 Oct 2026. https://modelsatlas.com/skills/ecnu-icalk/constrained-addition-math-solver

Trust audit

Audit 0.4.1 · source read 14 Oct 2026

Trust score89/100✓SAFE B
0 critical0 high0 medium0 low0 info

SAFE means nothing in the source contradicts what the skill says it does. Grade B is shared by 16,667 of 17,602 audited skills.

What the source does

  • FilesystemNone observedNo reads or writes in the source
  • NetworkNone observedNo outbound calls in the source
  • ShellNone observedNo commands run in the source
  • DependenciesPinnedNothing floats
  • SecretsNone foundNo keys in source

Five audit layers

LayerWhat we checkResultFindings
L0 ProvenanceRepo owner, licence, archive status, activityPASS0
L1 Static sourceSecrets, path traversal, supply chain, hidden codeNA0
L2 InstructionsPrompt injection, authority framing, hidden directivesPASS0
L3 InventoryThe files and declarations match the sourcePASS0
L4 SandboxRun in isolation and watch behaviourSKIPPED why0

Gates applied: no behavioural pass.

Findings (0)

No findings at any severity. We re-audit when the source changes.

Audit 0.4.1 · source sha 04e912cff54b · 14 Oct 2026Report an issue or request a re-scan

Provenance

Who published it, and what the verdict is pinned to

What it tells the agent

Full source on GitHub ↗

Its description: Solves for a target number using specific group sizes (addends) using strictly addition operations. It must not use subtraction, removal, discarding, or replacing of groups.

---
id: "daf772cc-e80a-4420-a78d-46ac28c313ac"
name: "Constrained Addition Math Solver"
description: "Solves for a target number using specific group sizes (addends) using strictly addition operations. It must not use subtraction, removal, discarding, or replacing of groups."
version: "0.1.0"
tags:
  - "math"
  - "addition"
  - "constraints"
  - "logic"
  - "problem-solving"
triggers:
  - "How can I get X from only groups of Y and Z?"
  - "Solve for X using only addition"
  - "No subtracting allowed"
  - "Find a sum using only adding"
---

# Constrained Addition Math Solver

Solves for a target number using specific group sizes (addends) using strictly addition operations. It must not use subtraction, removal, discarding, or replacing of groups.

## Prompt

# Role & Objective
You are a math solver tasked with finding a combination of specific group sizes that sum exactly to a target number.

# Operational Rules & Constraints
- Use ONLY addition operations to reach the target.
- Do NOT use subtraction.
- Do NOT remove or discard groups.
- Do NOT replace groups.
- Identify the specific group sizes provided by the user (e.g., 7 and 10).
- Identify the target number provided by the user (e.g., 61).
- Calculate the sum of groups to match the target exactly.

# Anti-Patterns
- Do not suggest subtracting a group to correct an overshoot.
- Do not suggest discarding a group to correct an overshoot.
- Do not suggest replacing one group size with another.

## Triggers

- How can I get X from only groups of Y and Z?
- Solve for X using only addition
- No subtracting allowed
- Find a sum using only adding

Excerpt, first 1,619 characters of SKILL.md, verbatim from the audited commit. It is text from someone else’s repository, quoted so you can judge it before your agent reads it.

Install

Pinned to the audited commit 04e912c

Download folder ↗
git clone https://github.com/ECNU-ICALK/AutoSkill
git -C AutoSkill checkout 04e912cff54b

The author documents no install command, so this uses the repository directly. Our verdict covers commit 04e912cff54b only.

Works in

The author has not said which agents this skill supports, and we have not tested it in any.

Audit history

Every audit, every source change

  1. ✓SAFE B 89 / 100

    first audit · source 04e912cff54b

Similar skills

1 Back Working Memory Test✓SAFE

ECNU-ICALK/AutoSkill

Executes a 1-back test by comparing the current input to the immediately preceding input in a sequence, reporting the prior item and a match indicator.

★ 602Grade B
80 20 Learning Plan Generator✓SAFE

ECNU-ICALK/AutoSkill

Identifies the critical 20% of a given topic that yields 80% of the results and creates a focused learning plan to master it.

★ 602Grade B
A1 English Conversation Teacher✓SAFE

ECNU-ICALK/AutoSkill

Act as a friendly English teacher for A1 students. Correct errors briefly, ask clarifying questions to maintain dialogue, and strictly limit responses to 100 words.

★ 602Grade B
ABC结构化信念挑战✓SAFE

ECNU-ICALK/AutoSkill

运用理性情绪疗法ABC模型,按客观事实→情绪反应→自动想法→合理/不合理区分四步顺序,引导来访者辨析创伤相关歪曲信念,并通过挑战式提问促发认知重评。

★ 602Grade B
Academic Content And Essay Generator✓SAFE

ECNU-ICALK/AutoSkill

Generates academic content components (introductions, conclusions, titles, topics) and full expository essays. Includes specialized capabilities for refining research paper titles with specific constraints, emphasis,…

★ 602Grade B
Academic Email Writing With Simple English✓SAFE

ECNU-ICALK/AutoSkill

Draft or improve emails to professors using simple vocabulary, friendly tone, and straightforward grammar.

★ 602Grade B

Questions about Constrained Addition Math Solver

What does the Constrained Addition Math Solver skill do?
AutoSkill: Experience-Driven Lifelong Learning via Skill Self-Evolution
Is Constrained Addition Math Solver safe to install?
The audit found nothing in the source that contradicts what it says it does, and graded it B (89/100). Grade A is held back for packages that have also passed a sandboxed behavioural run, which is why a clean skill reads B.
What can Constrained Addition Math Solver access on my machine?
The audit observed no filesystem, network or shell use at all in its source.
How current is this page?
The grade is for one exact copy of the source (04e912cff54b), read on 2026-10-14. The repository is watched, and a new audit runs when it changes — this is the first audit.

Sources

Spotted something wrong? Report a correction · Methodology

Keep going in your AI

Opens with this page as the source. We add nothing else to the prompt.