semvec/pypi-packages huggingface dataset:
agixtsdk 0.0.82
The AGiXT SDK for Python.
Requires Python: >=3.10

# AGiXT SDK for Python

[![GitHub](https://img.shields.io/badge/GitHub-Sponsor%20Josh%20XT-blue?logo=github&style=plastic)](https://github.com/sponsors/Josh-XT) [![PayPal](https://img.shields.io/badge/PayPal-Sponsor%20Josh%20XT-blue.svg?logo=paypal&style=plastic)](https://paypal.me/joshxt) [![Ko-Fi](https://img.shields.io/badge/Kofi-Sponsor%20Josh%20XT-blue.svg?logo=kofi&style=plastic)](https://ko-fi.com/joshxt)

[![GitHub](https://img.shields.io/badge/GitHub-AGiXT%20Core-blue?logo=github&style=plastic)](https://github.com/Josh-XT/AGiXT) [![GitHub](https://img.shields.io/badge/GitHub-AGiXT%20Hub-blue?logo=github&style=plastic)](https://github.com/AGiXT/hub) [![GitHub](https://img.shields.io/badge/GitHub-AGiXT%20NextJS%20Web%20UI-blue?logo=github&style=plastic)](https://github.com/AGiXT/nextjs) [![GitHub](https://img.shields.io/badge/GitHub-AGiXT%20Streamlit%20Web%20UI-blue?logo=github&style=plastic)](https://github.com/AGiXT/streamlit)

[![GitHub](https://img.shields.io/badge/GitHub-AGiXT%20Python%20SDK-blue?logo=github&style=plastic)](https://github.com/AGiXT/python-sdk) [![pypi](https://img.shields.io/badge/pypi-AGiXT%20Python%20SDK-blue?logo=pypi&style=plastic)](https://pypi.org/project/agixtsdk/)

[![GitHub](https://img.shields.io/badge/GitHub-AGiXT%20TypeScript%20SDK-blue?logo=github&style=plastic)](https://github.com/AGiXT/typescript-sdk) [![npm](https://img.shields.io/badge/npm-AGiXT%20TypeScript%20SDK-blue?logo=npm&style=plastic)](https://www.npmjs.com/package/agixt)

[![GitHub](https://img.shields.io/badge/GitHub-AGiXT%20Dart%20SDK-blue?logo=github&style=plastic)](https://github.com/AGiXT/dart-sdk)

[![Discord](https://img.shields.io/discord/1097720481970397356?label=Discord&logo=discord&logoColor=white&style=plastic&color=5865f2)](https://discord.gg/d3TkHRZcjD)
[![Twitter](https://img.shields.io/badge/Twitter-Follow_@Josh_XT-blue?logo=twitter&style=plastic)](https://twitter.com/Josh_XT)

![AGiXT_New](https://github.com/user-attachments/assets/14a5c1ae-6af8-4de8-a82e-f24ea52da23f)


This repository is for the [AGiXT](https://github.com/Josh-XT/AGiXT) SDK for Python.

## Installation

```bash
pip install agixtsdk
```

## Usage

```python
from agixtsdk import AGiXTSDK

base_uri = "http://localhost:7437"
api_key = "your_agixt_api_key"

ApiClient = AGiXTSDK(base_uri=base_uri, api_key=api_key)
```

Check out the AGiXT [Examples and Tests Notebook](https://github.com/Josh-XT/AGiXT/blob/main/tests/endpoint-tests.ipynb) for examples of how to use the AGiXT SDK for Python.

## More Documentation

Want to know more about AGiXT?  Check out our [documentation](https://josh-xt.github.io/AGiXT/) or [GitHub](https://github.com/Josh-XT/AGiXT) page.
fabricatio-memory 0.3.2.dev0
An Extension of fabricatio aiming to extend the context llm could handle.
Requires Python: <3.15,>=3.12

# `fabricatio-memory`

[MIT](https://img.shields.io/badge/license-MIT-blue.svg)
![Python Versions](https://img.shields.io/pypi/pyversions/fabricatio-memory)
[![PyPI Version](https://img.shields.io/pypi/v/fabricatio-memory)](https://pypi.org/project/fabricatio-memory/)
[![PyPI Downloads](https://static.pepy.tech/badge/fabricatio-memory/week)](https://pepy.tech/projects/fabricatio-memory)
[![PyPI Downloads](https://static.pepy.tech/badge/fabricatio-memory)](https://pepy.tech/projects/fabricatio-memory)
[![Build Tool: uv](https://img.shields.io/badge/built%20with-uv-orange)](https://github.com/astral-sh/uv)

An extension of fabricatio aiming to extend the context LLM could handle.

---

## 📦 Installation

This package is part of the `fabricatio` monorepo and can be installed as an optional dependency using either pip or uv:

```bash
pip install fabricatio[memory]
# or
uv pip install fabricatio[memory]
```

For a full installation that includes this package and all other components of `fabricatio`:

```bash
pip install fabricatio[full]
# or
uv pip install fabricatio[full]
```

## 🔍 Overview

Provides comprehensive memory management capabilities for fabricatio agents, enabling extended context handling and
intelligent information retrieval. The package combines long-term and short-term memory systems with agent integration
for enhanced decision-making and context-aware processing.

## 🧩 Key Features

- **Long-Term Memory Storage**: Persistent storage of important information including user profiles, historical
  conversations, and domain knowledge for personalized responses
- **Short-Term Memory Buffer**: Maintains recent context and conversation history to ensure coherent and contextually
  appropriate responses
- **Intelligent Memory Retrieval**: Advanced search mechanisms to find relevant information based on keywords, context,
  and semantic similarity
- **Memory Optimization**: Efficient memory allocation and cleanup to maintain performance while maximizing context
  retention
- **Agent Integration**: Seamless integration with fabricatio agents for memory-augmented decision making and context
  awareness
- **Scalable Architecture**: Supports various storage backends and can handle large volumes of memory data

## 🔗 Dependencies

Core dependencies:

- `fabricatio-core` - Core interfaces and utilities

No additional dependencies required.

## 📄 License

MIT – see [LICENSE](../../LICENSE)
fabricatio-diff 0.2.7.dev0
An extension of fabricatio, which brings up the diff edit capabilities
Requires Python: <3.15,>=3.12

# `fabricatio-diff`

[MIT](https://img.shields.io/badge/license-MIT-blue.svg)
![Python Versions](https://img.shields.io/pypi/pyversions/fabricatio-diff)
[![PyPI Version](https://img.shields.io/pypi/v/fabricatio-diff)](https://pypi.org/project/fabricatio-diff/)
[![PyPI Downloads](https://static.pepy.tech/badge/fabricatio-diff/week)](https://pepy.tech/projects/fabricatio-diff)
[![PyPI Downloads](https://static.pepy.tech/badge/fabricatio-diff)](https://pepy.tech/projects/fabricatio-diff)
[![Bindings: PyO3](https://img.shields.io/badge/bindings-pyo3-green)](https://github.com/PyO3/pyo3)
[![Build Tool: uv + maturin](https://img.shields.io/badge/built%20with-uv%20%2B%20maturin-orange)](https://github.com/astral-sh/uv)

An extension of fabricatio.

---

## 📦 Installation

This package is part of the `fabricatio` monorepo and can be installed as an optional dependency using either pip or uv:

```bash
pip install fabricatio[diff]
# or
uv pip install fabricatio[diff]
```

For a full installation that includes this package and all other components of `fabricatio`:

```bash
pip install fabricatio[full]
# or
uv pip install fabricatio[full]
```

## 🔍 Overview

Provides intelligent diff-based editing capabilities for fabricatio workflows, enabling precise text modifications
through AI-generated search and replace operations. It allows agents to perform targeted edits on source content based
on natural language requirements, with configurable match precision for reliable transformations.

## 🧩 Key Features

- **Intelligent Diff Generation**: Generate precise search and replace operations from natural language requirements
- **Precision Control**: Configurable match precision for accurate text modifications
- **Template-Driven Processing**: Uses configurable prompt templates for consistent diff generation
- **Validation System**: Built-in validation to ensure generated diffs are syntactically correct
- **Source Content Analysis**: Analyzes source text to create contextually appropriate edits
- **Rust-Accelerated Performance**: High-performance diff application using Rust extensions

## 🔗 Dependencies

Core dependencies:

- `fabricatio-core` - Core interfaces and utilities

No additional dependencies required.

## 📄 License

MIT – see [LICENSE](../../LICENSE)
lean-reinforcement 0.3.0
Reinforcement learning for Lean theorem proving
Requires Python: >=3.10

# LeanReinforcement

Repository for LeanReinforcement (LR), a Monte Carlo Tree Search (MCTS) agent building on the [ReProver](https://github.com/lean-dojo/ReProver) system.

## Gym-like

This repository builds on the gym-like [LeanDojo](<https://github.com/lean-dojo/LeanDojo>) interface for interacting with Lean. See the [LeanDojo documentation](https://leandojo.readthedocs.io/en/latest/index.html/) for more information on how to use it.

## Monte Carlo Tree Search

Relevant sources will be added here as the project progresses.

## TODO

- [x] Import ReProver weights to Snellius
- [x] Set up premise retrieval code
- [x] Create gym environment with LeanDojo and OpenAI Gym
- [x] Decide PPO vs MCTS => MCTS on top of ReProver
- [x] Update Snellius environment
- [x] Import LeanDojo benchmark to Snellius
- [x] Look into LeanDojo step time, value functions, etc.
- [x] Implement runner script to run MCTS agent on LeanDojo environment
- [x] Implement appropriate DataLoader training and evaluation
- [x] Implement training loop
- [x] Run experiments on Snellius
- [ ] Finish in-comment ToDo's
  - [x] Checkpoint saving and loading
  - [x] Subtree reusage
  - [ ] Reimplement tactic generator fine-tuning
- [x] Implement ValueHead Dataset creation
- [x] Set up wandb/tensorboard equivalent logging
- [ ] Write README.md
- [ ] Write paper
- [ ] Fix parallelization memory issues

## License

LeanReinforcement: An MCTS RL agent for Automatic Theorem Proving in Lean.
Copyright (C) 2025  Gerben Koopman

This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program.  If not, see <https://www.gnu.org/licenses/>.
cmake2chat 0.1.0a0
Scans your CMake project directory, builds a tree view of the codebase, and exports the tree view, the paths of all `CMakeLists.txt` files along with their contents to an OpenAI Chat Completions-compatible JSON.
Requires Python: >=2

# `cmake2chat`

Lost in a huge CMake project? Wish an LLM could just "see" the codebase structure and all build rules? Now they can!

## What's This?

`cmake2chat` scans your CMake project directory, builds a tree view of the codebase, and exports the tree view, the paths of all `CMakeLists.txt` files along with their contents to an OpenAI Chat Completions-compatible JSON.

### Typical Use Cases

- Instant overview: Give an LLM a complete picture of your project's structure (files, folders) plus CMake build logic at every level.
- Build-system-powered Q&A: Ask questions like "What libraries does this project build?", "Where is the executable defined?", or "What targets/flags are set in this module?" and get relevant, context-based answers!
- AI onboarding: Drop into a new CMake project and let an LLM guide you using actual high-level structure and build scripts, not just guesses.
- No manual plumbing: Skip hours of clicking/repeating `find .`, opening dozens of files, or pasting snippets piecemeal. Feed the AI the *whole map* and let it answer or advise precisely.

## Install

```bash
pip install cmake2chat
```

## Example

Suppose you have the following CMake project directory structure:

```
- my_project/
  - CMakeLists.txt
  - src/
    - CMakeLists.txt
    - main.cpp
  - lib/
    - CMakeLists.txt
```

To generate an OpenAI Chat Completions-compatible JSON describing your project, simply run:

```bash
python -m cmake2chat my_project -o my_project.json
```

An example of the beginning of the output might look like:

```json
[
  {
    "role": "user",
    "content": "- my_project/\n  - CMakeLists.txt\n  - src/\n    - CMakeLists.txt\n    - main.cpp\n  - lib/\n    - CMakeLists.txt"
  },
  {
    "role": "user",
    "content": "CMakeLists.txt"
  },
  {
    "role": "user",
    "content": "# Top-level build logic goes here\ncmake_minimum_required(VERSION 3.10)\nproject(MyProject)\n..."
  },
  {
    "role": "user",
    "content": "src/CMakeLists.txt"
  },
  {
    "role": "user",
    "content": "# Build logic for src directory\nadd_executable(main main.cpp)\n..."
  }
]
```

You can now use this JSON directly as input to an LLM API for a powerful, context-aware understanding of your CMake project!

## How it works

- **Scan**: Recursively walks your project directory.
- **Map**: Extracts the structure (files & folders) as a tree.
- **Collect**: For each `CMakeLists.txt`, grabs its path and full content.
- **Export**: Outputs everything as an OpenAI Chat Completions-compatible JSON.

## Contributing

Contributions are welcome! Please submit pull requests or open issues on the GitHub repository.

## License

This project is licensed under the [MIT License](LICENSE).