soukouki - Overview

Pinned Loading

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

   Python 15 2

2. Web UI for Plamo Translation Model

   HTML 14 1

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

   C 4

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

   Ruby 2

6. 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.5k 735