speckit-tasks
Generate an actionable, dependency-ordered tasks.md for the feature based on available design artifacts.
- License 许可
- Apache-2.0
- 最近更新
- 2026-11-10
- Stars
- ★ 3
- Forks
- 4
01 前言 Front Matter
- name
- claude-ally-health
- risk
- safe
- source
- https://github.com/huifer/Claude-Ally-Health
- date_added
- 2026-02-27
- description
- A health assistant skill for medical information analysis, symptom tracking, and wellness guidance.
03 SKILL.md 正文
Claude Ally Health
Overview
A health assistant skill for medical information analysis, symptom tracking, and wellness guidance.
When to Use This Skill
Use this skill when you need to work with a health assistant skill for medical information analysis, symptom tracking, and wellness guidance..
Instructions
This skill provides guidance and patterns for a health assistant skill for medical information analysis, symptom tracking, and wellness guidance..
For more information, see the source repository.
04 同仓库更多 Skills
tools-spin-sync
Synchronize Spin/Promela models with current source code and re-verify
tools-spin-model
Create a new Spin/Promela formal verification model for a system property
tools-creusot-install
Install the Creusot Rust verification tool
tools-creusot-init
Prepare an existing Cargo project to use Creusot formal verification
tools-creusot-coq-install
Add Coq 8.20 as an additional prover to an existing Creusot installation, for verification conditions that SMT solvers cannot discharge
tools-creusot-annotate-interfaces
Formally verify a component's properties with Creusot and annotate its interface definitions