Logica
EvgSkv
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
DataSkill source unconfirmed
2.1KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “logic”
1–16 / 23
More filters
Candidates in this shortlist, not the full registry. GitHub stars belong to repositories, not individual skills.
Results: 23
1.6KGitHub
Logisim Evolution
logisim-evolution
Digital logic design tool and simulator
EducationSkill source unconfirmed
7.2KGitHub
5.8KGitHub
Cadence
cadence-workflow
Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient wa…
AutomationSkill source unconfirmed
9.3KGitHub
Plano
katanemo
Plano is an AI-native proxy and data plane for agentic apps — with built-in orchestration, safety, observability, and smart LLM routing so you stay focused on your agent…
CodingSkill source unconfirmed
6.6KGitHub
Dependabot Core
dependabot
🤖 Dependabot's core logic for creating update PRs.
DevopsSkill source unconfirmed
5.6KGitHub
LitServe
Lightning-AI
A minimal Python framework for building custom AI inference servers with full control over logic, batching, and scaling.
CodingSkill source unconfirmed
3.9KGitHub
Agently
AgentEra
[GenAI Application Development Framework] 🚀 Build GenAI application quick and easy 💬 Easy to interact with GenAI agent in code using structure data and chained-calls s…
1.6KGitHub
Sqlancer
sqlancer
Automated testing to find logic and performance bugs in database systems
DataSkill source unconfirmed
1.7KGitHub
Openappsec
openappsec
open-appsec is a machine learning security engine that preemptively and automatically prevents threats against Web Application & APIs. This repo include the main code an…
DevopsSkill source unconfirmed
1.6KGitHub
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
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
Streamalert
airbnb
StreamAlert is a serverless, realtime data analysis framework which empowers you to ingest, analyze, and alert on data from any environment, using datasources and alerti…
DevopsSkill source unconfirmed
2.9KGitHub
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