Search Results for "static analysis tools for python"

Pyright is a fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified. Pyright supports configuration files that provide granular control over settings. Different “execution environments” can be associated with subdirectories within a source base. Each environment can specify different module search paths, python language versions, and platform targets. Type inference for function return values, instance...

PAL MCP is an open-source Model Context Protocol (MCP) server designed to act as a powerful middleware layer that connects AI clients and tools—like Claude Code, Codex CLI, Cursor, and IDE plugins—to a broad range of underlying AI models, enabling collaborative multi-model workflows rather than relying on a single model. It lets developers orchestrate interactions across multiple models (including Gemini, OpenAI, Grok, Azure, Ollama, OpenRouter, and custom/self-hosted models), preserving...

Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries. Parts of Manticore underpinned our symbolic execution capabilities in the Cyber Grand Challenge. As an open-source tool, we hope that others can take advantage of these capabilities in their own projects. We prioritized simplicity and usability while building Manticore. We used minimal external dependencies and our API should look familiar to anyone with exploitation or...

Next generation sequencing has opened new avenues for sequencing prokaryotes which were difficult or either impossible to culture. Now, it is possible to sequence all organisms present in a metagenomic community. However, a critical problem is to determine the host organism for each genomic fragment present in the dataset. This project provides the computational tools for assigning the organismal identity for each genomic scaffold in the given dataset. For more detailed documentation...

"No comment!" is a command-line tool that generates various comment-related metrics for source code files (e. g. comment density, blank lines per file)