Activity
Stars and mentions · Last 30 days, Oct 6 – Nov 4
Top repositories
richardanaya’s repositories ranked by new stars, as on trending.
Contributes to
Repositories outside richardanaya’s account where richardanaya opened or reviewed pull requests in the past 365 days.
Who noticed richardanaya
Everyone who starred or forked richardanaya’s repositories since the archive began in 2011.
Notable accounts
Ordered by the stars their own repositories have received.
Biggest fans
Accounts that starred the most of these repositories.
Breakout weeks
Each repository’s best week of new stars, with the release published around it.
Achievements
Awards earned by the repositories richardanaya owns. Select an award to embed its badge.
No awards yet
Repositories earn awards by reaching the top three in a completed trending day or week.
A repository earns an award for finishing first, second or third in a completed trending day or week, ranked by new stars, new forks or pull request authors. Awards follow a repository through renames and transfers and count toward its current owner. Weeks run Monday to Sunday, UTC.
Mentions
Exploring agentic neuro-symbolic verification of AI spec requirements docs similar to AWS Kiro using scriptc typescript. Not as many performance gains as I was hoping for but still cool. Optimistic there is some opportunity here ... @ctatedev richardanaya/plan-verify t.co
Pi coding agent now supports Realtime Grok Voice 3.0 with pi-spacexai richardanaya/pi-spacexai
I’ve been implementing cutting edge MCP extension specs to fit onto Pi 1.0’s MCP system. Gotta keep Pi on the bleeding edge! Pick and choose what you like. richardanaya/pi-mcp-extensions @badlogicgames t.co