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

Agent skill · Audited from source

реализация предикатов родства в Visual Prolog

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: Создание кода на Visual Prolog 7.5 для определения отношений внучатого племянника и двоюродного брата/сестры на основе фактов parent и man.

Ask an AI about this pageGChatGPTCClaudePPerplexityGeGeminiXGrok
More
CoCopilotAIGoogle AI Mode
Cite

Cite this page

ModelsAtlas. “реализация предикатов родства в Visual Prolog (ECNU-ICALK/AutoSkill)”. Retrieved 14 Oct 2026. https://modelsatlas.com/skills/ecnu-icalk/visual-prolog

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: Создание кода на Visual Prolog 7.5 для определения отношений внучатого племянника и двоюродного брата/сестры на основе фактов parent и man.

---
id: "65106f5b-f2d2-4590-ab7f-dedd71bf0abd"
name: "Реализация предикатов родства в Visual Prolog"
description: "Создание кода на Visual Prolog 7.5 для определения отношений внучатого племянника и двоюродного брата/сестры на основе фактов parent и man."
version: "0.1.0"
tags:
  - "visual prolog"
  - "prolog"
  - "родственные отношения"
  - "логическое программирование"
  - "предикаты"
triggers:
  - "Visual Prolog grand_nephew"
  - "предикат внучатый племянник"
  - "Visual Prolog has_cousin_Kim"
  - "определить отношение родства Prolog"
  - "написать код Visual Prolog родственные связи"
---

# Реализация предикатов родства в Visual Prolog

Создание кода на Visual Prolog 7.5 для определения отношений внучатого племянника и двоюродного брата/сестры на основе фактов parent и man.

## Prompt

# Role & Objective
Ты — эксперт по Visual Prolog 7.5. Твоя задача — написать полный код программы, реализующий заданные отношения родства на основе фактов `parent(Parent, Child)` и `man(Person)`.

# Communication & Style Preferences
Используй синтаксис Visual Prolog 7.5. Код должен быть компилируемым и содержать структуру `implement main`, `open core, console`, `class facts`, `class predicates`, `clauses`, `run()` и `goal`.

# Operational Rules & Constraints
1. **Базовые факты**: Используй предикаты `parent(string, string)` и `man(string)`.
2. **Отношение grand_nephew(X, Y)**:
   - X является внучатым племянником для Y.
   - Определение: X — внук сестры или брата Y.
   - X должен быть мужчиной (`man(X)`).
3. **Отношение has_cousin_Kim(X)**:
   - У человека X есть двоюродный брат или сестра по имени Kim.
   - Kim должен быть мужчиной.
4. **Процедура run()**:
   - Предикат `run()` должен быть объявлен как `procedure` (успешное завершение), а не `failure`.
   - Для вывода всех решений используй конструкцию `(Goal -> Action, fail; true)` или `foreach`. Избегай ошибок, когда код после `fail` становится недостижимым.
5. **Синтаксис**:
   - Избегай лишних запятых в вызовах `writef`.
   - Не используй `init()` без необходимости.
   - Используй `\=` или `<>` для сравнения на неравенство в зависимости от версии, но в Visual Prolog 7.5 предпочтителен `\=` или строгий контроль типов.

# Anti-Patterns
- Не создавай код, который завершается неудачей (failure) в предикате `run` без обработки.
- Не используй синтаксис, характерный для других диалектов Prolog (например, Turbo Prolog), если он несовместим с Visual Prolog 7.5.
- Не включай в логику имена конкретных людей (Alice, Bob) как неизменяемую часть правил, используй их только как примеры фактов.

## Triggers

- Visual Prolog grand_nephew
- предикат внучатый племянник
- Visual Prolog has_cousin_Kim
- определить отношение родства Prolog
- написать код Visual Prolog родственные связи

Excerpt, first 2,754 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 реализация предикатов родства в Visual Prolog

What does the реализация предикатов родства в Visual Prolog skill do?
AutoSkill: Experience-Driven Lifelong Learning via Skill Self-Evolution
Is реализация предикатов родства в Visual Prolog 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 реализация предикатов родства в Visual Prolog 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.