Mira OSS
taylorsatula
This is the public release of MIRA OS. Discrete memories decay through momentum loss, tools auto-configure when dropped into tools/ folder, and the system prompt compose…
464GitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Search retrieves candidates across the registry and ranks a bounded shortlist by task fit. This count is matching candidates, not the registry total. No suitable match? Try a specific tool or task.
Results · “discrete-mathematics”
1–4 / 4
More filters · 1
Results: 4
paper-review
agentscope-ai
Review academic papers for correctness, quality, and novelty using OpenJudge's multi-stage pipeline. Supports PDF files and LaTeX source packages (.tar.gz/.zip). Covers…
ResearchClaude Code
816GitHub
arxiv-search
DougTrajano
Search arXiv preprint repository for papers in physics, mathematics, computer science, quantitative biology, and related fields.
ResearchClaude Code
371GitHub
claim-verify
gaasher
Use when the user has a results draft or a set of data-backed claims and wants each one adversarially verified against the underlying dataset before publishing — a pre-p…
ResearchClaude Code
163GitHub
External platform skills
Browse external directory →Owner-curated external sources. Not filtered by the scores or compatibility controls above; excluded from GitHub rankings and automatic installation.
No external entries match this query.