CtrlK
BlogDocsLog inGet started
Tessl Logo
SkillPublic

mathematical-logic-expert

Expert in formal logic, model theory, computability, and foundations of mathematics

44

Quality

55%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide
SecuritybySnyk

Low

Low-risk findings worth noting

Fix and improve this skill with Tessl

tessl review fix ./bundled/skills/mathematical-logic-expert/SKILL.md
SKILL.md
Quality
Evals
Security

Quality

Content

42%Weight 40%Scale 1-5

Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.

The body is a self-declared 'legacy template awaiting research upgrade' whose content is almost entirely meta-status and research hygiene rather than usable mathematical-logic guidance. It is brief and loosely sequenced but lacks concrete actions, and every referenced module file is missing from the bundle.

Suggestions

Provide the referenced module files (modules/research-checklist.md, modules/known-gaps.md, modules/core-guidance.md, _toc.md) or remove the broken links, since progressive disclosure currently points to non-existent content.

Replace vague procedural hints with concrete, executable guidance — e.g. specific proof-translation steps, named tools/commands, or worked examples of model-theoretic or computability tasks.

Move time-sensitive dates (2025-11-08) into a clearly labeled 'Last validated' or 'Deprecated' subsection so they do not penalize the main content's conciseness, and add an explicit validation/verification checkpoint to the workflow.

DimensionReasoningScore

Conciseness

The body is lean and does not over-explain concepts Claude already knows, but it carries time-sensitive metadata ("Last validated: 2025-11-08", "conversion captured on 2025-11-08") outside any deprecated/old-patterns section, which the rubric says should penalize conciseness; this fits score 3 'Mostly efficient but includes some unnecessary explanation or could be tightened' rather than score 4.

3 / 5

Actionability

Steps are high-level hints ("capture up-to-date sources", "resolve outstanding items", "update metadata") with no concrete code, commands, or examples, matching score 2 'Minimal concrete guidance; high-level hints but missing the specific steps to execute'; it is above score 1 only because a numbered procedure exists.

2 / 5

Workflow Clarity

A 4-step sequence is present with an implicit checkpoint ("only after verification"), but there are no explicit validation steps or feedback loops, fitting score 3 'Steps listed but validation gaps; sequence present but checkpoints missing or implicit'; it is not score 4 because no concrete validation commands are given.

3 / 5

Progressive Disclosure

The body is structured as an overview with one-level-deep module references (research-checklist, known-gaps, core-guidance, _toc) in a dedicated 'Module overview' section, but none of those files exist in the bundle, so the navigation is broken; this lands at score 3 rather than 4 because the clearly-signaled references do not resolve to real content.

3 / 5

Total

11

/

20

Passed

Description

48%Weight 40%Scale 1-5

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

The description names a clear, distinctive niche but is written as a role ("Expert in...") rather than a statement of actions, and it lacks any 'Use when...' trigger guidance, capping completeness and trigger quality. It is serviceable but would benefit from concrete verbs and an explicit trigger clause.

Suggestions

Replace the role phrasing with concrete actions, e.g. 'Translates between logical formalisms, evaluates model-theoretic properties, and assesses computability of decision problems.'

Add an explicit trigger clause such as 'Use when working with formal proofs, model theory, computability questions, or foundations of mathematics.'

Include natural synonyms and phrasings users would actually say (e.g. 'proofs', 'Turing computable', 'Gödel', 'set-theoretic foundations') to improve trigger term coverage.

DimensionReasoningScore

Specificity

The description "Expert in formal logic, model theory, computability, and foundations of mathematics" names a specific domain but lists zero concrete actions ("Expert in" is a role descriptor, not an action), matching the score-2 anchor 'Names the domain but actions are minimal or generic' and falling below score 3 which requires 1-2 concrete actions.

2 / 5

Completeness

It states a clear 'what' (domain of expertise) but entirely omits any 'when should Claude use it' guidance; per the rubric a missing 'Use when...' clause caps completeness at 3, and it is not score 2 because the 'what' is explicitly stated rather than vague.

3 / 5

Trigger Term Quality

Terms like "formal logic", "model theory", and "computability" are natural specialist vocabulary, but the description offers no trigger phrasing, synonyms, or a "Use when..." clause, fitting score 3 'Some relevant keywords but missing common variations or synonyms' rather than score 4 which expects fuller keyword coverage.

3 / 5

Distinctiveness Conflict Risk

The niche (formal logic, model theory, computability, foundations of mathematics) is clearly distinct from most skills with only minor overlap risk against adjacent math/philosophy skills, matching score 4; it does not reach score 5 because there are no explicit distinct trigger phrases.

4 / 5

Total

12

/

20

Passed

Validation

93%

Checks the skill against the spec for correct structure and formatting. All validation checks must pass before discovery and implementation can be scored.

Validation — 15 / 16 Passed

Validation for skill structure

CriteriaDescriptionResult

relative_links

Relative link issues: 6 missing

Warning

Total

15

/

16

Passed

Repository

foryourhealth111-pixel/Vibe-Skills

Path

bundled/skills/mathematical-logic-expert/SKILL.md

Reviewed

Table of Contents

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.