Skill of Skills
🔄 workflowActivePromisinghigh

forall

by astrio-labs

Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.

Supported Platforms

🤖 Claude Code

Stars

280

Skill Type

🧪 Product Verification

Quality Score

99/200

License

Apache-2.0

Forks

21

Last Updated

Jul 18, 2026

Discovered

Jul 18, 2026

Validation

Passed

github.com/astrio-labs/forall

Quality Breakdown

99/ 200

Content Signals

○Gotchas/Edge Cases+40
✓Progressive Disclosure+30
○Trigger Description+20
○Verification/Safety+20
○Code Examples+15
○Composability+15

Repo Health

✓Recent Activity+15
✓Scripts/Automation+10
✓Real Usage (Issues)+10
✓Single Responsibility+10
✓Config/Persistence+10
✓Install Instructions+5

Multi-platform bonus: +5 pts if tool supports 2+ platforms. Score derived from 12 structural signals — not stars or popularity.

Trust & Verification

high

Broad system access required. Carefully review permissions before installing.

Active

Updated within the last 90 days. Actively maintained.

Unverified skill. Always review source code before installing any skill from an unknown author.

Risk Assessment

  • shell-execution
  • repo-scripts
  • credential-sensitive

Related guides

Best skills & plugins for Claude Code