AI Agent Skill Repository

AI Agent Skills Directory

Browse reusable skills for Codex, Claude Code, Cursor, finance, research, web scraping, PPT, football analytics, data, marketing, design, and more.

Live registry search

Results for “temporal-logic

Exact name and slug matches are checked against the live registry before ranked alternatives.

Clear search

Decision filters

Choose by scenario, quality, and trust signals.

Showing 1-16 of 55 ranked candidates matching "temporal-logic"

Best blend of relevance, quality, freshness, and verified outcomes

1

Logica

VERIFIEDEXCELLENT · 93TRUST · 86SAFE · REVIEWEDDATA

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

$ npx skills add EvgSkv/logica
2.1K stars62 quality86 trustReviewed2mo since pushSafe to try

Scenario Database and SQL

CLI + Codex · 4 targets

jupyter-notebooksql
by EvgSkvDetailsQuick view
2

Pyreason

PROMISING · 66TRUST · 75SAFE · REVIEWEDDESIGN

An explainable inference software supporting annotated, real valued, graph based and temporal logic

$ npx skills add lab-v2/pyreason
343 stars48 quality75 trustReviewed with permission notes2mo since pushNeeds review

Scenario Multimodal media

CLI + Codex · 4 targets

pythonmachine-learning
by lab-v2DetailsQuick view
3

PyNeuraLogic

STRONG · 70TRUST · 76SAFE · REVIEWEDDESIGN

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

$ npx skills add LukasZahradnik/PyNeuraLogic
309 stars48 quality76 trustReviewed with permission notes2mo since pushNeeds review

Scenario Multimodal media

CLI + Codex · 4 targets

pythonmachine-learning
by LukasZahradnikDetailsQuick view
4

Temporal Operator

PROMISING · 65TRUST · 75SAFE · REVIEWEDCODING

Temporal Kubernetes Operator

$ npx skills add alexandrevilain/temporal-operator
228 stars43 quality75 trustReviewed with permission notes5mo since pushNeeds review

Scenario GitHub automation

CLI + Codex · 4 targets

gokubernetes
by alexandrevilainDetailsQuick view
5

Temporal

VERIFIEDEXCELLENT · 100TRUST · 88SAFE · REVIEWEDCODING

Temporal service

$ npx skills add temporalio/temporal
21.0K stars70 quality88 trustReviewed2mo since pushSafe to try

Scenario Coding agents

CLI + Codex · 4 targets

goworkflow
by temporalioDetailsQuick view
6

Sdk Go

STRONG · 75TRUST · 79SAFE · REVIEWEDRESEARCH

Temporal Go SDK

$ npx skills add temporalio/sdk-go
909 stars51 quality79 trustReviewed2mo since pushSafe to try

Scenario Research agents

CLI + Codex · 4 targets

goworkflow
by temporalioDetailsQuick view
7

Sdk Rust

STRONG · 72TRUST · 77SAFE · REVIEWEDCODING

Temporal Rust & Core SDKs

$ npx skills add temporalio/sdk-rust
480 stars49 quality77 trustReviewed with permission notes2mo since pushNeeds review

Scenario GitHub automation

CLI + Codex · 4 targets

rustworkflow
by temporalioDetailsQuick view
8

Sdk Java

STRONG · 71TRUST · 77SAFE · REVIEWEDRESEARCH

Temporal Java SDK

$ npx skills add temporalio/sdk-java
401 stars49 quality77 trustReviewed with permission notes2mo since pushNeeds review

Scenario Research agents

CLI + Codex · 4 targets

javaworkflow
by temporalioDetailsQuick view
9

Logisim Evolution

VERIFIEDEXCELLENT · 98TRUST · 87SAFE · REVIEWEDEDUCATION

Digital logic design tool and simulator

$ npx skills add logisim-evolution/logisim-evolution
7.2K stars66 quality87 trustReviewed2mo since pushSafe to try

Scenario Education and tutoring

CLI + Codex · 4 targets

javaeducation
by logisim-evolutionDetailsQuick view
10

Digital

VERIFIEDEXCELLENT · 97TRUST · 87SAFE · REVIEWEDCODING

A digital logic designer and circuit simulator.

$ npx skills add hneemann/Digital
5.8K stars65 quality87 trustReviewed2mo since pushSafe to try

Scenario GitHub automation

CLI + Codex · 4 targets

javaeducation
by hneemannDetailsQuick view
11

Genie TTS

VERIFIEDEXCELLENT · 87TRUST · 84SAFE · REVIEWEDDESIGN

GPT-SoVITS ONNX Inference Engine & Model Converter

$ npx skills add High-Logic/Genie-TTS
1.6K stars57 quality84 trustReviewedOpenAI Agents4mo since pushSafe to try

Scenario Multimodal media

OpenAI Agents + CLI · 4 targets

pythonvoice
by High-LogicDetailsQuick view
12

Nucleoid

STRONG · 70TRUST · 79SAFE · REVIEWEDRESEARCH

Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for Learning and Reasoning

$ npx skills add NucleoidAI/Nucleoid
750 stars47 quality79 trustReviewed with permission notes4mo since pushNeeds review

Scenario RAG and knowledge

CLI + Codex · 4 targets

pythonrag
by NucleoidAIDetailsQuick view
13

LNN

STRONG · 70TRUST · 79SAFE · REVIEWEDDESIGN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

$ npx skills add IBM/LNN
320 stars48 quality79 trustReviewed with permission notes2mo since pushNeeds review

Scenario Multimodal media

CLI + Codex · 4 targets

pythonmachine-learning
by IBMDetailsQuick view
14

Dynamic KG

NEEDS REVIEW · 43TRUST · 68SAFE · BLOCKEDRESEARCH

Dynamic (Temporal) Knowledge Graph Completion (Reasoning)

$ npx skills add woojeongjin/dynamic-KG
610 stars38 quality68 trustBlocked for auto-install6y since pushRisky

Scenario RAG and knowledge

CLI + Codex · 4 targets

knowledge-graph
by woojeongjinDetailsQuick view
15

Zigflow

PROMISING · 67TRUST · 76SAFE · REVIEWEDCODING

Define durable workflows in YAML, powered by Temporal

$ npx skills add zigflow/zigflow
166 stars46 quality76 trustReviewed with permission notes2mo since pushNeeds review

Scenario Coding agents

CLI + Codex · 4 targets

godeveloper-tools
by zigflowDetailsQuick view
16

Cadence

VERIFIEDEXCELLENT · 99TRUST · 89SAFE · REVIEWEDCODING

Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient wa…

$ npx skills add cadence-workflow/cadence
9.3K stars66 quality89 trustReviewed2mo since pushSafe to try

Scenario Coding agents

CLI + Codex · 4 targets

goworkflow
by cadence-workflowDetailsQuick view

Page 1

Showing the strongest 16 results to keep the registry fast for humans and agents. Refine by use case, platform, stars, or search query for a narrower shortlist.

Try the agent resolve API