Skip to content

Agent Plugins Directory

Skills MCP Official Topics ToolsLoginSOON

Files

plugin.json
skills/
- extracting-precise-results/
  - evals/
  - SKILL.md
- formalize/
  - evals/
  - references/
    - aristotle.md
  - SKILL.md
- interlinear/
  - evals/
  - references/
    - rendering-modes.md
    - schema.md
  - SKILL.md
- reason/
  - evals/
  - SKILL.md

More from aperep

typstWrite, migrate, template, and validate idiomatic Typst documents.
biblioBibliography verification, Zotero library maintenance, MathSciNet retrieval, and personal bibliography maintenance.
devA small development workflow with Occam-driven solution design, requirements, implementation, debugging, verification, review, and authorized delivery.
knowledgeFind, capture, place, move, process, and maintain knowledge and repository agent charters.
math-writingMathematical writing, LaTeX and Typst scaffolding, proofreading, plain English, authorial voice, and translation workflows.
metaProject documentation, repository maintenance, skill quality, and marketplace editing.

Similar skills

reason-machines/reasonLaunch and manage cloud coding agents across multiple machines with Reason.
k-dense-ai/science-superpowersComputational-science methodology for research agents: question framing, prior-work survey, analysis design, pre-registration, reproducible execution, anomaly investigation, results verification, and red-team review.
walrusquant/sports-analytic-skillsStandalone agent skills for rigorous sports analytics and modeling, with an optional sports_ds data-toolkit bridge.
xberg-io/tree-sitter-language-packParse and extract code intelligence from 372 programming languages with tree-sitter — structure, imports, symbols, and syntax-aware chunking.
xberg-io/xbergLocal document extraction: text, tables, metadata, images from 107 formats with optional OCR.
acquisity/acquisityRun B2B cold email campaigns, lead search, results and CRM in Acquisity from your AI agent.

A

aperep/research

v0.6.0

Research reading, contextual reasoning, and opt-in Lean formalization.

Overview Skills4

Version	Commit	First seen
0.6.0latest	597bef899741	2026-10-19

Install

```
copilot plugin install aperep/my-ai-plugins:plugins/research
```
Also works as /plugin install inside a session. Installs from the default branch.

Declared author

Alexander Perepechko

Keywords

academic research mathematics interlinear reasoning lean formalization

Browse

Skills
MCP servers
Official publishers

Explore

Topics
Keywords

More

Validate a spec
Docs for agents
openapi.json
llms.txt
sitemap.xml

About

About
Contact
Privacy Policy

Newsletter

Short and occasional. One click to stop.

Email address

An independent directory for the Agent Plugins open standard.

Skills MCP Official Topics Tools