semvec/pypi-packages huggingface dataset:
pickaxe-mcp-semantic-scholar 0.1.5
MCP server for https://www.semanticscholar.org/
Requires Python: >=3.12

# PXE Semantic Scholar

Provides access to the Semantic Scholar API

## Installation

uvx:

```
{
  "mcpServers": {
    "pickaxe-mcp-semantic-scholar": {
      "command": "uvx",
      "args": [
        "pickaxe-mcp-semantic-scholar"
      ],
      "env": {
        "SEMANTIC_SCHOLAR_API_KEY": "..."
      }
    }
  }
}
```
llm-tools-anki 0.1.1
Manage Anki cards with the LLM tool
Requires Python: >=3.9

# llm-tools-anki

[![License](https://img.shields.io/badge/license-Apache%202.0-blue.svg)](https://github.com/aled1027/llm-tools-anki/blob/main/LICENSE)

Manage Anki cards with the LLM tool.

## Installation

Install this plugin in the same environment as [LLM](https://llm.datasette.io/).

```bash
llm install llm-tools-anki
```

## Usage

```bash
llm -T Anki "my friend miguel loves learning about languages. find a cool card that I can share with him that I've been studying." --td
```

```bash
llm -T Anki "Add 5 new cards to the default deck. The five cards should ask about the colors in spanish for a language learning student" --td --chain-limit 25
```

```bash
llm -T Anki "Take the cards in the Evolve deck and adjust them. Make the cards similar, basically testing the same ideas, but make them different to keep the learning interesting and engaging for the learner. Remove any cards that you evolve" --td --chain-limit 50
```

```bash
llm -T Anki "My friend catdog thinks I don't know big words. Add 5 to 10 cards of big words that I should know so I'm not embarrassed. Add these to the default deck." --td --chain-limit 50
```

The follow prompt also requires [llm-tools-exa](https://github.com/daturkel/llm-tools-exa/tree/main) to be installed.

```bash
llm -T Anki -T web_search "I'm interviewing with Miguel Conner for a data science position in a few hours. Research him and create a few anki cards in my default deck for me to study." --td --chain-limit 50
```

An unsplash access key needs to be set for the following prompt with `llm keys set unsplash`. Access keys can be generate on the unsplash website.

```bash
llm -T Anki "For each anki card in the evolve deck without an image (ignore cards with images), use Anki_get_image_url to add an image. Make it visible in the front or back of the card, whichever makes more sense for that card. Make sure that the card is formatted as HTML (not markdown) or the image won't render correctly. The goal of the image is to increase visual appeal and improve memory retention." --td --chain-limit 50
```

## Development

To set up this plugin locally, first checkout the code. Then use [uv](https://astral.sh/)

```bash
uv sync --all-extras
uv run python -m pip install -e '.[test]'
```

## Additional Resources

- [Simon's blog post llm tools](https://simonwillison.net/2025/May/27/llm-tools/)
- [llm-tools-sqlite](https://github.com/simonw/llm-tools-sqlite/tree/main) (for reference code)
- [llm tools cookiecutter template](https://github.com/simonw/llm-plugin-tools)
- [discord message on --chain-limit](https://discord.com/channels/823971286308356157/1128504153841336370/1388261616583442502)
- [Homepage for AnkiConnect](https://foosoft.net/projects/anki-connect)
- [anki-connect-mcp](https://github.com/spacholski1225/anki-connect-mcp)

## Additional Notes

- Thanks to Anki and AnkiConnect for their amazing work
- The file `ankiconnect.md` is an exerpt from [anki-connect readme](https://github.com/amikey/anki-connect)
kimina 0.1.2
Client SDK to interact with Kimina Lean server.
Requires Python: >=3.9

# Kimina client

Client SDK to interact with Kimina Lean server. 

Example use:
```python
from kimina import Kimina

# Specify LEAN_SERVER_API_KEY in your .env or pass `api_key`.
# Default `api_url` is https://projectnumina.ai
client = Kimina()

# If running locally use:
# client = Kimina(api_url="http://localhost:80")

client.check("#check Nat")
```

## Backward client

```python
from kimina import Lean4Client

client = Lean4Client()

client.verify("#check Nat")
```