claude

codex-formal-answer

Use when answering mathematical, conceptual, philosophical, or metaphysical questions through repository-first scientific reasoning, a clause-complete formal bridge, retained exact Lean specializations, reusable library growth, and an ordinary conversational answer; the formal work stays internal and is shown only when the user asks for it.

0 on GitHubv0.1updated today
/

Plugin codex-formal-answer from marketplace nyx-skills in ChronoAIProject/nyx-skills. Commands read from the repo's manifest — today.

What it installs

Skills (1)

  • codex-formal-answer

    Use when answering mathematical, conceptual, philosophical, or metaphysical questions through repository-first scientific reasoning, a clause-complete formal bridge, retained exact Lean specializations, reusable library growth, and an ordinary conversational answer; the formal work stays internal an

View source on GitHub

More from ChronoAIProject/nyx-skills

All 157 plugins →

acceptance-criteria-author

claude

Turn an ambiguous request into scoped testable acceptance criteria with risks and edge cases.

1 skill

0

acceptance-fixture-drift-attestation

claude

只读体检验收 canary 数据是否漂移、fixture 是否完好。用户提到“验收 fixture 漂移体检”、对应英文名称或要求运行该验收 workflow 时使用。

1 skill

0

adversarial-verify

claude

Subject a claim to two independent skeptical reviews pass only if neither refutes.

1 skill

0

ae-bot12345

claude

testing skill for aevatar bot

1 skill

0

aevatar-agent-profile-management

claude

Use when a user wants to create, edit, validate, publish, or explain an Aevatar Agent Profile; set purpose or instructions; bind exact Ornn skills and activation modes; restrict tool authority; or diagnose ETag, validation, publication, deployment exposure, or runtime binding. Agent Profile is a separate resource, not a workflow, member, team, service, or schedule. Use the opaque profileId, exact `{skillGuid, literalVersion, expectedName, expectedPublisherId}` references, strong ETags, accepted-vs-committed semantics, and capability detection before mutation.

1 skill

0

Maintain codex-formal-answer?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins157 plugins