# Table of Contents - [About Serena — Serena Documentation](#about-serena-serena-documentation) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Page not found · GitHub Pages](#page-not-found-github-pages) - [Page not found · GitHub Pages](#page-not-found-github-pages) - [Page not found · GitHub Pages](#page-not-found-github-pages) - [Page not found · GitHub Pages](#page-not-found-github-pages) - [Page not found · GitHub Pages](#page-not-found-github-pages) - [Page not found · GitHub Pages](#page-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) - [Site not found · GitHub Pages](#site-not-found-github-pages) --- # About Serena — Serena Documentation [Skip to main content](https://oraios.github.io/serena/#main-content) Back to top Ctrl+K [![Serena Documentation - Home](https://oraios.github.io/_static/serena-logo.svg) ![Serena Documentation - Home](https://oraios.github.io/_static/serena-logo-dark-mode.svg)](https://oraios.github.io/index.html) Search Ctrl+K * [.md](https://oraios.github.io/_sources/01-about/000_intro.md) * .pdf About Serena ============ About Serena[#](https://oraios.github.io/serena/#about-serena "Link to this heading") ====================================================================================== * Serena is a powerful **coding agent toolkit** capable of turning an LLM into a fully-featured agent that works **directly on your codebase**. Unlike most other tools, it is not tied to an LLM, framework or an interface, making it easy to use it in a variety of ways. * Serena provides essential **semantic code retrieval and editing tools** that are akin to an IDE’s capabilities, extracting code entities at the symbol level and exploiting relational structure. When combined with an existing coding agent, these tools greatly enhance (token) efficiency. * Serena is **free & open-source**, enhancing the capabilities of LLMs you already have access to free of charge. Therefore, you can think of Serena as providing IDE-like tools to your LLM/coding agent. With it, the agent no longer needs to read entire files, perform grep-like searches or string replacements to find and edit the right code. Instead, it can use code-centred tools like `find_symbol`, `find_referencing_symbols` and `insert_after_symbol`. --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Page not found · GitHub Pages 404 === **File not found** The site configured at this address does not contain the requested file. If this is your site, make sure that the filename case matches the URL as well as any file permissions. For root URLs (like `http://example.com/`) you must provide an `index.html` file. [Read the full documentation](https://help.github.com/pages/) for more information about using **GitHub Pages**. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Page not found · GitHub Pages 404 === **File not found** The site configured at this address does not contain the requested file. If this is your site, make sure that the filename case matches the URL as well as any file permissions. For root URLs (like `http://example.com/`) you must provide an `index.html` file. [Read the full documentation](https://help.github.com/pages/) for more information about using **GitHub Pages**. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Page not found · GitHub Pages 404 === **File not found** The site configured at this address does not contain the requested file. If this is your site, make sure that the filename case matches the URL as well as any file permissions. For root URLs (like `http://example.com/`) you must provide an `index.html` file. [Read the full documentation](https://help.github.com/pages/) for more information about using **GitHub Pages**. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Page not found · GitHub Pages 404 === **File not found** The site configured at this address does not contain the requested file. If this is your site, make sure that the filename case matches the URL as well as any file permissions. For root URLs (like `http://example.com/`) you must provide an `index.html` file. [Read the full documentation](https://help.github.com/pages/) for more information about using **GitHub Pages**. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Page not found · GitHub Pages 404 === **File not found** The site configured at this address does not contain the requested file. If this is your site, make sure that the filename case matches the URL as well as any file permissions. For root URLs (like `http://example.com/`) you must provide an `index.html` file. [Read the full documentation](https://help.github.com/pages/) for more information about using **GitHub Pages**. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Page not found · GitHub Pages 404 === **File not found** The site configured at this address does not contain the requested file. If this is your site, make sure that the filename case matches the URL as well as any file permissions. For root URLs (like `http://example.com/`) you must provide an `index.html` file. [Read the full documentation](https://help.github.com/pages/) for more information about using **GitHub Pages**. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) --- # Site not found · GitHub Pages 404 === **There isn't a GitHub Pages site here.** If you're trying to publish one, [read the full documentation](https://help.github.com/pages/) to learn how to set up **GitHub Pages** for your repository, organization, or user account. [GitHub Status](https://githubstatus.com/) — [@githubstatus](https://twitter.com/githubstatus) [![]()](https://oraios.github.io/) [![]()](https://oraios.github.io/) ---