Python implementations for CryptoVerif 1.23 (outdated)

parse llm answer to code

🎯 Precise code extraction for AI assistants - MCP server using tree-sitter to extract functions, classes & snippets from 30+ languages without manual parsing

A powerful tool for importing, analyzing, and searching your AI chat conversations.

Essential productivity tools for Claude Code: expert consultation docs, code extraction, and more

A Python package to export a local Git repository’s structure and all source code into a single, LLM-friendly text file.

📄 Query Google NotebookLM notebooks using Claude Code for accurate, citation-backed answers based on your documents.

📄 Connect Claude Code with NotebookLM for precise, document-based answers from your notebooks, enhancing accuracy and reducing misinformation.

RepoToPrompt is a tool that converts a repository into a single, structured plain-text document. It allows fine-grained filtering of included files and formatting to suit AI prompting, auditing, and archival needs.

🚀 Generate temporary emails instantly with smart verification code extraction. Perfect for testing, privacy protection, and automated workflows. Real-time monitoring included.

A lightweight Python tool that scans a project directory, extracts the contents of source files across multiple languages, and compiles them into a single formatted text file. Optionally includes a visual folder tree for better project overview.

Transforming images into code at a click. Upload a photo or screenshot and copy the code to your script in seconds!

This is a playground of different code extraction techniques used that might be needed for data preprocessing in machine learning

Extract code into standalone executable scripts from a Quarto Document (sort of like `knitr::purl()` but for all outputs)

A lightweight CLI tool written in Go that allows users to copy the code of one or multiple files from a given GitHub repository.