mnehmos.quest-keeper.game

(★ 13)

No description available.

Owner Repos

mnehmos.multi-agent.framework ★ 534

No description provided.

Astro
mnehmos.rpg.mcp ★ 41

No description provided.

TypeScript
llm-driven-proof-search ★ 9

An evidence-preserving operating environment for AI-assisted mathematical research, formalization, decomposition, certificate generation, Lean verification, and publication export.

Lean

File Explorer

ZIP Download
  • .env.production
  • .env.staging
  • .gitattributes
  • .gitignore
  • index.html
  • integration_report.md.resolved
  • package-lock.json
  • package.json
  • postcss.config.js
  • PROJECT_KNOWLEDGE.md
  • README.md
  • tailwind.config.js
  • tsconfig.json
  • tsconfig.node.json
  • vite.config.ts
  • vitest.config.ts

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Link
Example

Command Glossary

Commands referenced in this DOCs, explained below.

🔍

git clone

View Details ▼

Clone an existing repository.

git clone {{remote_repository_location}} {{path/to/directory}}

Clone an existing repository into a new directory (the default directory is the repository name):

git clone --recursive {{remote_repository_location}}

Clone an existing repository and its submodules:

git clone {{[-n|--no-checkout]}} {{remote_repository_location}}

Clone only the `.git` directory of an existing repository:

🔍

git push

View Details ▼

Push commits to a remote repository.

git push

Send local changes in the current branch to its default remote counterpart:

git push {{remote_name}} {{local_branch}}

Send changes from a specific local branch to its remote counterpart:

git push {{[-u|--set-upstream]}} {{remote_name}} {{local_branch}}

Send changes from a specific local branch to its remote counterpart, and set the remote one as the default push/pull target of the local one:

🔍

git tag

View Details ▼

Create, list, delete, or verify tags.
A tag is a static reference to a commit.

git tag

List all tags:

git tag {{tag_name}}

Create a tag with the given name pointing to the current commit:

git tag {{tag_name}} {{commit}}

Create a tag with the given name pointing to a given commit:

🔍

npm install

View Details ▼

Install Node packages.

npm {{[i|install]}}

Install dependencies listed in `package.json`:

npm {{[i|install]}} {{package_name}}@{{version}}

Download a specific version of a package and add it to the list of dependencies in `package.json`:

npm {{[i|install]}} {{package_name}} {{[-D|--save-dev]}}

Download the latest version of a package and add it to the list of dev dependencies in `package.json`:

🔍

npm run

View Details ▼

Run a script.

npm run

List available scripts:

npm run {{script_name}}

Run a script:

npm run {{script_name}} -- {{argument}} {{--option}}

Pass arguments to a script:

🔍

copy

View Details ▼

Copy files.

COPY {{path/to/source_file}} {{path/to/destination_file}}

Copy a file:

// repository documentation