Iotex Core
iotexproject
Official implementation of IoTeX blockchain protocol in Go. An ultra-efficient EVM blockchain offering 1000 TPS with instant 1-block finality. Perfect for DeFi, DePIN to…
Web3 AnalyticsSkill source unconfirmed
1.6KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “logic-programming”
49–57 / 57
More filters
Candidates in this shortlist, not the full registry. GitHub stars belong to repositories, not individual skills.
Results: 57
doubt-driven-development
addyosmani
Subjects every non-trivial decision to a fresh-context adversarial review before it stands. Use when correctness matters more than speed, when working in unfamiliar code…
91.4KGitHub
Pointfreeco
pointfreeco
🎬 The source for www.pointfree.co, a hub for advanced Swift programming.
EducationSkill source unconfirmed
1.2KGitHub
Algorithms And Data Structures
kelvins
:abacus: Algorithms and Data Structures in several Programming Languages
EducationSkill source unconfirmed
1.1KGitHub
nature-paper-card
Yuan1z0825
Build a source-grounded deep-reading Paper Card for one scientific paper, preprint, PDF, DOI, arXiv page, publisher article, or pasted paper text. Use when the user asks…
38.7KGitHub
competition-crypto-mobile
zhaoxuya520
Internal downstream skill for ctf-sandbox-orchestrator. CTF-sandbox workflow for crypto, encoding, steganography, APK, IPA, and mobile trust-boundary challenges. Use whe…
33.7KGitHub
competition-android-hooking
zhaoxuya520
Internal downstream skill for ctf-sandbox-orchestrator. CTF-sandbox workflow for Android APK hooking, Frida tracing, request-signing recovery, SSL pinning bypass, JNI bo…
33.7KGitHub
testing
iOfficeAI
Testing workflow and quality standards for writing and running tests. Use when: (1) Writing new tests, (2) Adding a new feature that needs tests, (3) Modifying logic tha…
32.5KGitHub
Low Level Dev Skills
mohitmishra786
A curated suite of AI agent skills for systems and low-level programming with C/C++, Rust, and Zig toolchains, covering compilers, debuggers, profilers, build systems, s…
139GitHub