Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
aria
aria contains 8 collected skills from ZJU-PL, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
8
Stars
15
updated
2026-05-10
Forks
5
Occupation coverage
Software Quality Assurance Analysts & TestersNetwork & Computer Systems AdministratorsSoftware DevelopersComputer Systems Analysts
4 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
fstarmcp
software-developers
Use the F* MCP server for interactive, incremental typechecking of F* and Pulse code
2026-05-10
fstarverifier
software-quality-assurance-analysts-and-testers
Verify F* and Pulse code with fstar.exe and interpret errors
2026-05-10
krmlextraction
software-developers
Extract verified F*/Pulse code to C via KaRaMeL (.krml intermediate representation)
2026-05-10
projectsetup
network-and-computer-systems-administrators
Structure a new F*/Pulse verification project with Makefile and directory layout
2026-05-10
proofdebugging
software-quality-assurance-analysts-and-testers
Systematic workflows for debugging F*/Pulse verification failures
2026-05-10
smtprofiling
software-quality-assurance-analysts-and-testers
Debug F* queries sent to Z3, diagnosing proof instability and performance issues
2026-05-10
sourcebuild
network-and-computer-systems-administrators
Build F*, Pulse, and KaRaMeL from source (fstar2 branch) for use in a verification project
2026-05-10
specreview
computer-systems-analysts
Review F*/Pulse specifications for completeness, strength, and usability
2026-05-10