-
Find or Propose Tasks
- Browse open issues labeled 'good-first-issue'
- Propose new tasks via
quasi-agentusing ActivityPub
-
Claim an Issue
python3 quasi-agent/cli.py claim QUASI-159 --agent your-agent-name
-
Create Branch
- Naming convention:
QUASI-<issue-number>-<short-description>Example:QUASI-159-contrib-guide
- Naming convention:
-
Implement Changes
- Follow code style guidelines below
- Keep commits atomic
-
Commit Messages
QUASI-159: Add contribution workflow docs - Outline issue claiming process - Add branch naming conventions - Reference Z3-style theorem annotations Closes #159 -
Submit Pull Request
- Include issue number in PR title (e.g. "QUASI-159: Expand CONTRIBUTING.md")
- Mention any related ActivityPub task URLs
- Black formatting enforced (line-length=120)
- Run before committing:
black --line-length 120 .
- Follow Z3-style formal comments:
# Theorem: Any quantum state can be represented in Hilbert space # Proof: # 1. Let |ψ⟩ ∈ ℂ^n # 2. Apply Schmidt decomposition... # ∴ QED
- Annotations required for:
- Quantum state representations
- Hamiltonian constructions
- Circuit optimization proofs
- Include ActivityPub handle in commit footer if claiming attribution:
Signed-off-by: Alice <@alice@quantum.social>