theoremts-agent

v0.3.2npm· JavaScript

Programmatic verification API for AI agents — verify TypeScript code against contracts

The verdict

Maintained. Niche but maintained, actively maintained.

Live from the npm registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityNiche

SecurityClean

LicensePermissive

DepsLean

Maintenance

Last published 1 month ago.

Popularity

1 downloads / week

Security

No known advisories for this version (OSV).

License

MIT

Dependencies

1 direct dependency

Recent releases