Plugins

Each campus service in PKU harness is provided by a plugin. Before you install one, you can see which campus services it uses, which websites it contacts and what it may do for you.

32 plugins from 1 repository. Last updated Nov 14, 15:24.

32 plugins

How plugins are listed

The marketplace reads plugins directly from GitHub. Your code stays in your repository, and the marketplace keeps an index of it.

  1. Write a PLUGIN.md

    Each plugin is a folder. The YAML block at the top of PLUGIN.md is the plugin’s manifest, which declares what the plugin needs. The text below it tells the AI how to use the plugin. One repository can hold any number of plugins.

  2. Submit the repository

    Paste the GitHub address to see the check results immediately. Submitting opens an issue. A bot then scans the repository again and opens a pull request (PR) that adds it to the listing.

  3. Push to update

    Listed repositories are scanned every hour. To change, add or remove a plugin, edit the files and push.

  4. Review

    A maintainer reads the source code and marks the plugin as reviewed. You can still install plugins that have not been reviewed. They are labelled Community.

marketplace.jsonllms.txtManifest specification

your-repo/canteen/PLUGIN.md
---
spec: 1
id: canteen-menu
name: 食堂菜单
description: 今天各食堂的菜单和营业时间。
version: 1.0.0
author: you
network: [dining.pku.edu.cn]
tools:
  menu: tools/menu.yaml
i18n:
  en: { name: Canteen menus, description: What each canteen serves today. }
---

Use `menu` when the user asks what to eat.