Pinned Loading

1. local-wikipedia local-wikipedia Public

   An MCP server written in Python that searches and reads Wikipedia articles by downloading the information in advance.

   Python 18 3

2. LocaLingo LocaLingo Public

   Web UI for Plamo Translation Model

   HTML 14 1

3. 10cc 10cc Public

   C compiler training code based on https://www.sigbus.info/compilerbook

   C 4

4. obsidian_fetch obsidian_fetch Public

   MCP servers focused on fetching and presenting information from Obsidian vaults.

   Ruby 2

5. coq-learning coq-learning Public

   Rocq Prover 7 1

6. rocq-prover/rocq rocq-prover/rocq Public

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

   OCaml 5.6k 756