GitHub
juvix-intents
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
☆ 5View skill
Development AI Skills
Discover Development skills, compare source repositories and read the instructions for each workflow.
Categories: Development
Development Clear filters
Browse skills
GitHub
specter-navigator-gadget
Unified Specter/Navigator/3-MATCH architecture with bidirectional path compilation
☆ 5View skill
GitHub
trajectory
Path traced by solution through phase space
☆ 5View skill
GitHub
code-documentation
Writing effective code documentation - API docs, README files, inline
☆ 5View skill
GitHub
lean-proof-walk
GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof spa...
☆ 5View skill
GitHub
meeting-insights-analyzer
Analyzes meeting transcripts and recordings to uncover behavioral patterns,
☆ 5View skill
GitHub
fuzzing-obstacles
Overcoming fuzzing obstacles and improving fuzzer effectiveness.
☆ 5View skill
GitHub
nix-acset-worlding
Model Nix store as Attributed C-Set for dependency verification, GC analysis,
☆ 5View skill
GitHub
scum-score
SCUM Score Skill
☆ 5View skill
GitHub
directed-interval
Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy
☆ 5View skill
GitHub
lyapunov-stability
Stability via Lyapunov's direct method
☆ 5View skill
GitHub
ergodicity
Time averages equal space averages
☆ 5View skill
GitHub
elisp
Emacs Lisp reference (106K lines info).
☆ 5View skill
GitHub
specter-acset
Specter-style bidirectional navigation for Julia Collections, S-expressions, and ACSets with inline caching
☆ 5View skill
GitHub
zx-calculus
Coecke's ZX-calculus for quantum circuit reasoning via string diagrams with Z-spiders (green) and X-spiders (red)
☆ 5View skill
GitHub
obstruction-learning
Obstruction Learning Skill
☆ 5View skill
GitHub
iot-device-provisioning
Secure provisioning for TizenRT/ARTIK IoT devices. Coordinates certificate installation, key management, and network onboarding.
☆ 5View skill
GitHub
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
☆ 5View skill
GitHub
agent-o-rama
Layer 4: Learning and Pattern Extraction for Cognitive Surrogate Systems
☆ 5View skill
GitHub
self-validation-loop
Run self-validation loops for triadic color systems using prediction vs observation and error minimization.
☆ 5View skill
GitHub
duckdb-timetravel
Layer 3: Temporal Versioning and ACSet Schema Generation for DuckDB
☆ 5View skill
GitHub
covariant-fibrations
Riehl-Shulman covariant fibrations for dependent types over directed
☆ 5View skill
GitHub
variant-analysis
Find similar vulnerabilities and bugs across codebases using pattern-based analysis. Use when hunting bug variants, building CodeQL/Semgrep queries, analyzing security vulnerabilities, or performing systematic...
☆ 5View skill
GitHub
semi-conjugacy
Surjective map intertwining two dynamical systems
☆ 5View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.