semvec/pypi-packages huggingface dataset:
mllllearnzebra 0.1.0
View machine learning algorithms as code
Requires Python: >=3.7

 # ðŸ“¦ MLLearn

*MLLearn* is a Python package that prints code implementations of machine learning algorithms straight to your terminal â€” perfect for learning, reference, or even flexing your own custom algorithms ðŸ˜Ž.

---

## ðŸš€ Installation

Install it locally:

```bash
pip install .
mcp-server-solotodo 1.0.1
MCP server for searching laptops on SoloTodo.cl
Requires Python: >=3.12

# mcp-server-solotodo

An MCP (Model Context Protocol) server that provides laptop search functionality for SoloTodo.cl, Chile's leading price comparison website. This tool allows AI assistants to search and filter laptops by specifications like brand, processor, RAM, storage, screen size, and other technical attributes.

## Setup with Claude Desktop

To use this MCP server with Claude Desktop, you need to install `uvx` and configure the server:

1. **Install uvx** (if not already installed):
   Follow the installation guide at https://docs.astral.sh/uv/guides/tools/#running-tools

2. **Configure Claude Desktop**:
   Add the following configuration to your Claude Desktop MCP settings:

```json
{
  "mcpServers": {
    "solotodo": {
      "command": "uvx",
      "args": ["mcp-server-solotodo"]
    }
  }
}
```

After restarting Claude Desktop, you'll have access to the `search_notebooks` tool for searching laptops on SoloTodo.

## Acknowledgments

In the annals of questionable developer decisions, let it be recorded that Eugenio "Yuyo" Herrera ([@ouhenio](https://github.com/ouhenio)) emerged victorious from our "fastest MVP" challenge. We hereby acknowledge his triumph and the original code that started it all.
deduck-prover 0.2.3
A little prover for CS 245 at the University of Waterloo
Requires Python: >=3.7

<p align="center">
  <img src="assets/deduck.png" alt="DeDuck Logo" width="200"/>
</p>

# The DeDuck Prover

A little prover used in CS 245 at the University of Waterloo.
DeDuck lets the user program formal-deduction proofs and have them checked by the prover.
A [VS Code extension](https://github.com/deduck-prover/deduck-vscode) provides a simple interface for programming and checking proofs interactively with the prover.

## Installation

```bash
pip install deduck-prover
```

## Documentation
A reference manual of the available axioms and theorems can be found [here](docs/rules_usage.md).

## License

This project is licensed under the MIT License. See the LICENSE file for details.