A collaboration with Proof · 1 public repo per week

Are you an open source maintainer? We can help your project.

Completely free for open source repositories.

Proof turns your repository into a graph of requirements that humans and agents can both use. It finds as many bugs as it can, and gives you the tools to triage GitHub issues and pull requests from contributors — including community bug reports and security reports.

**Panini-1** is an open-source initiative to build a high-fidelity Small Language Model (SLM) for Sanskrit.

1 Open Issue Need Help Last updated: Jan 17, 2026

Open Issues Need Help

View All on GitHub
help wanted good first issue

**Panini-1** is an open-source initiative to build a high-fidelity Small Language Model (SLM) for Sanskrit.