skills.rest
Zaki Manian avatar

Zaki Manian

Community

@zmanian · United States

526Followers
|
245Public Repos
|
2Published Skills
🐙 GitHub ↗🐤 @zmanian ↗

Agent Skills by Zaki Manian

Showing 2 vetted skills indexed across 2 GitHub repositories.

zmanianzmanian

quint-spec

Develop formal Quint specifications and verify them with Apalache.

Community
Advanced
zmanianzmanian
1

zed-editor

A tool for editing files in your favorite IDE.

Community
Intermediate